Lista de

Asteasuain, Fernando
9
2015
2
Bonfiglio, María Antonia; Nussembaum, Pablo Gabriel. (2015). "MENTAT : una herramienta de validación dinámica para código Java". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Chojrin, Mauro; Cecconi, Pablo. (2015). "Verificación de sistemas críticos a partir de trazas de ejecución usando VTS". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.