SGIC Master Métodos Formales en Ingeniería Informática (UCM,UPM)
VERIFICACIÓN
- Memoria de verificación vigente (2025)
- Informe Fundación para el Conocimiento
 
 - Publicación BOE Plan de Estudios
 - Enlace RUCT
 - Enlace Fundación para el Conocimiento madri+d
 
SEGUIMIENTO / ACREDITACIÓN
- No aplica, nueva implantación
 
SISTEMA DE GARANTÍA INTERNO DE CALIDAD
- Sistema de garantía interno de calidad del Máster en Métodos Formales en Ingeniería Informática
 
MEJORAS IMPLANTADAS COMO CONSECUENCIA DEL DESPLIEGUE DEL SGIC
- No aplica, nueva implantación
 
ENCUESTAS DE SATISFACCIÓN
| Estudiantes | Profesores | Otras | |
| 2025/2026 | - | - | - |