Voir la notice de l'article provenant de la source Numdam
@article{DIA_1982__8__A1_0,
author = {N\'em\'eti, I.},
title = {Foundations for stepwise refinement of program specifications via cylindric algebra theory},
journal = {Diagrammes},
note = {talk:1},
pages = {N1--N24},
publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
volume = {8},
year = {1982},
mrnumber = {780444},
zbl = {0534.03033},
language = {en},
url = {http://geodesic.mathdoc.fr/item/DIA_1982__8__A1_0/}
}
TY - JOUR AU - Néméti, I. TI - Foundations for stepwise refinement of program specifications via cylindric algebra theory JO - Diagrammes N1 - talk:1 PY - 1982 SP - N1 EP - N24 VL - 8 PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques UR - http://geodesic.mathdoc.fr/item/DIA_1982__8__A1_0/ LA - en ID - DIA_1982__8__A1_0 ER -
%0 Journal Article %A Néméti, I. %T Foundations for stepwise refinement of program specifications via cylindric algebra theory %J Diagrammes %Z talk:1 %D 1982 %P N1-N24 %V 8 %I Université Paris 7, Unité d'enseignement et de recherche de mathématiques %U http://geodesic.mathdoc.fr/item/DIA_1982__8__A1_0/ %G en %F DIA_1982__8__A1_0
Néméti, I. Foundations for stepwise refinement of program specifications via cylindric algebra theory. Diagrammes, Tome 8 (1982), Exposé no. 1, 24 p.. http://geodesic.mathdoc.fr/item/DIA_1982__8__A1_0/