Iniciar al estudiante al uso de métodos formales para la producción de software correcto por construcción.
- Profesor Responsable: Gustavo Betarte
- Profesor: Carlos Luna
- Profesor: Encuestas Unidad de Enseñanza
Iniciar al estudiante al uso de métodos formales para la producción de software correcto por construcción.