heterogeneous theorem proving tools logic proofs
|
|
Publications for keyword "heterogeneous theorem proving tools logic proofs"
2007
| , and , The Heterogeneous Tool Set, in: VERIFY 2007, 4th International Verification Workshop, pages 119-135, 2007 |
[URL] |