Título : Verificación de software usando Alloy
Software verification using Alloy
Editorial : Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires
Fecha de publicación : 2010
metadata.dc.source.uri: http://digital.bl.fcen.uba.ar/gsdl-282/cgi-bin/library.cgi?a=d&c=tesis&d=Tesis_4781_Galeotti
URI : http://10.0.0.11:8080/jspui/handle/bnmm/74452
Aparece en las colecciones: FCEN - Facultad de Ciencias Exactas y Naturales. UBA

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