The Heterogeneous Tool Set (2007)

by Till Mossakowski, Christian Maeder, Klaus Lüttich
Venue:of Lecture Notes in Computer Science