Tesis Doctoral

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