Identifica't
Grups
Investigadors/es
Resultats
COSTA
Complutense Group on Program Analyis and Transformation
Detall
Línies d'investigació
Projectes
Publicacions
Col·laboració
Tesis
Línies d'investigació
Programación; Métodos formales de desarrollo de software; Verificación; Testing
Contacta
Avís legal
Ajuda
translate
ca
arrow_drop_down
translate
ca
arrow_drop_down
es
eu
gl
en
fr
de