The Heterogeneous Tool Set (2007)

by T Mossakowski, C Maeder, K Lüttich
Venue:of Lecture Notes in Computer Science