The Heterogeneous Tool Set, Hets.

Till Mossakowski, Christian Maeder, Klaus Lttich

Browse the full TACAS paper archive.