Diseño y análisis formal de sistemas de software
FADOSS
Instituto IMDEA Software
Pozuelo de Alarcón, EspañaInstituto IMDEA Software-ko ikertzaileekin lankidetzan egindako argitalpenak (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)