Identifícate
Grupos
Investigadores/as
Resultados
COSTA
Complutense Group on Program Analyis and Transformation
Detalle
Líneas de investigación
Proyectos
Publicaciones
Colaboración
Tesis
Líneas de investigación
Programación; Métodos formales de desarrollo de software; Verificación; Testing
Contactar
Aviso Legal
Ayuda
translate
es
arrow_drop_down
translate
es
arrow_drop_down
ca
eu
gl
en
fr
de