Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Matemáticas, Tome 98 (2004) no. 1
Citer cet article
Henocque, Laurent. Especificación en Z de programas orientados a objetos con restricciones.. Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Matemáticas, Tome 98 (2004) no. 1. http://geodesic.mathdoc.fr/item/RACSAM_2004_2004_1_a8/
@article{RACSAM_2004_2004_1_a8,
author = {Henocque, Laurent},
title = {Especificaci\'on en {Z} de programas orientados a objetos con restricciones.},
journal = {Revista de la Real Academia de Ciencias Exactas, F{\'\i}sicas y Naturales. Matem\'aticas},
pages = {127-152},
year = {2004},
volume = {98},
number = {1},
language = {en},
url = {http://geodesic.mathdoc.fr/item/RACSAM_2004_2004_1_a8/}
}
TY - JOUR
AU - Henocque, Laurent
TI - Especificación en Z de programas orientados a objetos con restricciones.
JO - Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Matemáticas
PY - 2004
SP - 127
EP - 152
VL - 98
IS - 1
UR - http://geodesic.mathdoc.fr/item/RACSAM_2004_2004_1_a8/
LA - en
ID - RACSAM_2004_2004_1_a8
ER -
%0 Journal Article
%A Henocque, Laurent
%T Especificación en Z de programas orientados a objetos con restricciones.
%J Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Matemáticas
%D 2004
%P 127-152
%V 98
%N 1
%U http://geodesic.mathdoc.fr/item/RACSAM_2004_2004_1_a8/
%G en
%F RACSAM_2004_2004_1_a8
