Construcción Formal de Programas en Teoría de Tipos

October 8, 2018

Este curso tiene como objetivo Iniciar al estudiante al uso de métodos formales para la producción de software correcto por construcción.