K.: The Heterogeneous Tool Set, Hets (2007)

by T Mossakowski, C Maeder, Lüttich
Venue:TACAS 2007. LNCS