Keywords:
Publications of Christian Maeder
to appear
Checking conservativity with Hets, in: CALCO 2013, to appear | , and ,
2007
The Heterogeneous Tool Set, in: VERIFY 2007, 4th International Verification Workshop, pages 119-135, 2007 | , and ,
[URL] |
The Heterogeneous Tool Set, in: TACAS 2007, pages 519-522, Springer-Verlag Heidelberg, 2007 | , and ,
|