Saila: Informática

Eremua: Lengoaia eta Sistema Informatikoak

Ikerketa taldea: GRUPO DE INVESTIGACIÓN EN INGENIERÍA DEL SOFTWARE

E-maila: claudio@uniovi.es

Doctor por la Universidad de Oviedo con la tesis Obtención automática del entorno en la verificación modular de sistemas reactivos 2004. Tesiaren zuzendaria Dr. Pablo Javier Tuya González.