PROgrama de METodos rIgurosos de DesarrollO de Software de la Comunidad de Madrid
 | |
| Descripción | |
| Resumen | |
| Palabras clave | |
| Actividades | |
| Grupos de investigación | |
| Investigación | |
| Participación de la empresa | |
| Personal | |
| Charlas & Eventos | |
| Ofertas de empleo | |
| Contacto | |
| Support | |
 |
 |
Palabras clave
- Programación declarativa
- Especificación y verificación
- Fiabilidad y Seguridad
- Eficiencia
