3 Groupes de recherche

Foto de Complutense Group on Program Analyis and Transformation
COSTA Complutense Group on Program Analyis and Transformation
Foto de Design and Testing of Reliable Systems
Design and Testing of Reliable Systems
Foto de Diseño y análisis formal de sistemas de software
FADOSS Diseño y análisis formal de sistemas de software