The Heterogeneous Tool Set (2007)

by T Mossakowski, C Maeder, K Lüttich
Venue:13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007