Lista de

COMUNICACION POR INTERCAMBIO DE MENSAJES
2
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.