proof heterogeneity logic institution prover theorem integration development graph

Publications for keyword "proof heterogeneity logic institution prover theorem integration development graph"
2007
Till Mossakowski, Christian Maeder and Klaus L├╝ttich, The Heterogeneous Tool Set, in: TACAS 2007, pages 519-522, Springer-Verlag Heidelberg, 2007
download