"¿Demostrar corrección? ¿Para qué?" por Mariano Moscato

Mariano Moscato, graduado y ex docente del Departamento de Computación (actualmente trabajando en NASA), le cuenta a los y las estudiantes de Algoritmos 1 de qué trata y para qué sirve demostrar la corrección de programas.
Créditos: Azúl Lopez (realización y edición del video).