INVESTIGADORES
GALEOTTI Juan Pablo
capítulos de libros
GALEOTTI, JUAN PABLO; FRIAS, MARCELO
Dynalloy as a formal method for the analysis of Java programs
Software Engineering Techniques: Design for Quality
Año: 2006; p. 249 - 260