INVESTIGADORES
CASTRO Pablo Francisco
artículos
Título:
Verifying BON models with Alloy
Autor/es:
RAMIRO DEMASI; PABLO PONZIO; PABLO F. CASTRO; GABRIEL BAUM
Revista:
Journal of Computer Science & Technology
Editorial:
ISTEC
Referencias:
Lugar: University of New Mexico; Año: 2005 vol. 5 p. 292 - 298
ISSN:
1666-6038
