heterogeneous theorem proving tools logic proofs

Publications for keyword "heterogeneous theorem proving tools logic proofs"
2007
Till Mossakowski, Christian Maeder and Klaus L├╝ttich, The Heterogeneous Tool Set, in: VERIFY 2007, 4th International Verification Workshop, pages 119-135, 2007
download
[URL]