Research groups

FADOSS: Diseño y Análisis Formal de Sistemas de Software — by J. Alberto Verdejo López — last modified 2010-01-19 08:50

 

GPD: Grupo de Programación Declarativa — by J. Alberto Verdejo López — last modified 2010-01-19 08:50

 

Grupo de Testing y Evaluación del Rendimiento — by J. Alberto Verdejo López — last modified 2015-07-20 10:29

 

Grupo de Informática Gráfica — by J. Alberto Verdejo López — last modified 2010-01-19 08:50

 

The Costa group — by root — last modified 2013-04-12 11:30