Título : Una herramienta para verificación formal de especificaciones gráficas orientadas a objetos
Fecha de publicación : 2003
metadata.dc.source.uri: http://sedici.unlp.edu.ar/handle/10915/3903
http://hdl.handle.net/10915/3903
URI : http://rodna.bn.gov.ar/jspui/handle/bnmm/325441
Aparece en las colecciones: Universidad Nacional de la Plata. SEDICI

Ficheros en este ítem:
No hay ficheros asociados a este ítem.