Lista de

Melgratti, Hernán Claudio
13
2019
3
Marottoli, Daniela. (2019). "Detección estática de canales no cerrados usando tipos comportamentales". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Furman, Damián Ariel. (2019). "Generación de mensajes de error significativos en herramienta de detección estática de deadlocks para programas en Go". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Bokser, Brian Ariel. (2019). "Verificación de invariantes en tipos de datos replicados con consistencia mixta". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.