Diseño y análisis formal de sistemas de software
FADOSS
Instituto IMDEA Software
Pozuelo de Alarcón, EspañaPublications in collaboration with researchers from Instituto IMDEA Software (2)
2015
-
Two decades of Maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2009
-
Unification and narrowing in maude 2.4
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)