Forschungsgruppen

FADOSS: Diseño y Análisis Formal de Sistemas de Software — erstellt von J. Alberto Verdejo López — zuletzt verändert: 19.01.2010 08:50

 

GPD: Grupo de Programación Declarativa — erstellt von J. Alberto Verdejo López — zuletzt verändert: 19.01.2010 08:50

 

Grupo de Testing y Evaluación del Rendimiento — erstellt von J. Alberto Verdejo López — zuletzt verändert: 20.07.2015 10:29

 

Grupo de Informática Gráfica — erstellt von J. Alberto Verdejo López — zuletzt verändert: 19.01.2010 08:50

 

The Costa group — erstellt von root — zuletzt verändert: 12.04.2013 11:30