Lista de

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