Título : Enabledness-based program abstractions for behavior validation
Editorial : Assoc Computing Machinery
Fecha de publicación : 3-may-2017
3-may-2017
jul-2013
24-abr-2017
URI : http://rodna.bn.gov.ar:8080/jspui/handle/bnmm/295210
Aparece en las colecciones: CONICET

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