![](/img/cover-not-exists.png)
Visualizing Proof Search for Theorem Prover Development
John Byrnes, Michael Buchanan, Michael Ernst, Philip Miller, Chris Roberts, Robert KellerVolume:
226
Year:
2009
Language:
english
Pages:
16
DOI:
10.1016/j.entcs.2008.12.095
File:
PDF, 911 KB
english, 2009