| |
| 2009 | ||
|---|---|---|
| 1 | EE | John Byrnes, Michael Buchanan, Michael Ernst, Philip Miller, Chris Roberts, Robert Keller: Visualizing Proof Search for Theorem Prover Development. Electr. Notes Theor. Comput. Sci. 226: 23-38 (2009) |
| 1 | John Byrnes | [1] |
| 2 | Michael Ernst | [1] |
| 3 | Robert Keller | [1] |
| 4 | Philip Miller | [1] |
| 5 | Chris Roberts | [1] |