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