Diseño y análisis formal de sistemas de software
FADOSS
University of Bremen
Brema, AlemaniaUniversity of Bremen-ko ikertzaileekin lankidetzan egindako argitalpenak (1)
2011
-
Integrating Maude into hets
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)