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