Diseño y análisis formal de sistemas de software
FADOSS
University of Bremen
Brema, AlemaniaPublications en collaboration avec des chercheurs de 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)