proof heterogeneity logic institution prover theorem integration development graph
|
|
Publications for keyword "proof heterogeneity logic institution prover theorem integration development graph"
2007
| , and , The Heterogeneous Tool Set, in: TACAS 2007, pages 519-522, Springer-Verlag Heidelberg, 2007 |
|