MARIA INMACULADA
MEDINA BULO
Catedrática de Universidad
Alejandro
Álvarez Ayllón
Publicacions en què col·labora amb Alejandro Álvarez Ayllón (1)
2010
-
Takuan: A tool for WS-BPEL composition testing using dynamic invariant generation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)