Diseño y análisis formal de sistemas de software
FADOSS
University of Bremen
Brema, AlemaniaPublicaciones en colaboración con investigadores/as 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)