Geodesic
Foundations for stepwise refinement of program specifications via cylindric algebra theory
Diagrammes, Tome 8 (1982), Exposé no. 1, 24 p. Cet article a éte moissonné depuis la source Numdam

Voir la notice de l'article

@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},
     year = {1982},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {8},
     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/