Título : Test Case Generation from a Z Specification of the Landing Gear System
Fecha de publicación : 2014
2014
metadata.dc.source.uri: http://hdl.handle.net/2133/3735
URI : http://rodna.bn.gov.ar/jspui/handle/bnmm/568409
Aparece en las colecciones: Universidad Nacional de Rosario. RepHipUNR

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