Proyecto CSIC
Integración de Teoría de Tipos y Verificación de Modelos para la Certificación Formal de Sistemas
Documentación
Los resultados obtenidos son descriptos en los informes correspondientes
Informe años 2000-2001
(documento postcript)
Informe años 2001-2002
(documento postcript)