Lista de

Garbervetsky, Diego David
20
2012
2
Zoppi, Edgardo Julio. (2012). "Enriqueciendo Code Contracts con Typestates". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Chicote, Marcos José. (2012). "Mejorando la usabilidad de herramientas de verificación". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.