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