Diseño y análisis formal de sistemas de software
FADOSS
University of Bremen
Brema, AlemaniaPublications in collaboration with researchers from 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)