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://www.numdam.org/item/DIA_1982__8__A1_0/
LA  - en
ID  - DIA_1982__8__A1_0
ER  -