Lista de

STATIC ANALYSIS
2
Galeotti, Juan Pablo. (2010). "Verificación de software usando Alloy". Tesis Doctoral. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Garbervetsky, Diego. (2007). "Síntesis de especificaciones paramétricas de utilización de la memoria dinámica". Tesis Doctoral. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.