Tesis Doctoral

Galeotti, Juan Pablo. "Verificación de software usando Alloy" . (2010). Tesis Doctoral, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.