Métodos y herramientas lógicas para el diseño y la verificación de Software Multi-Paradigma.

Researchers

Filter

FRANCISCO JAVIER

LÓPEZ FRAGUAS

Leader

RAFAEL

CABALLERO ROLDÁN

JESÚS

ESCRIBANO MARTÍNEZ

NARCISO

MARTÍ OLIET

SUSANA

NIEVA SOTO

MARÍA ISABEL

PITA ANDREU

JAIME

SÁNCHEZ HERNÁNDEZ