Diseño y análisis formal de sistemas de software
FADOSS
University of Bremen
Brema, AlemaniaPublikationen in Zusammenarbeit mit Forschern von University of Bremen (1)
2011
-
Integrating Maude into hets
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)