Tesis Doctoral

Moscato, Mariano Miguel. "Mejoras a la demostración interactiva de propiedades Alloy utilizando SAT-Solving" . (2013). Tesis Doctoral, Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires.