Login / Signup
Michael Buchanan
Publication Activity (10 Years)
Years Active: 2009-2009
Publications (10 Years): 0
</>
Publications
</>
John Byrnes
,
Michael Buchanan
,
Michael Ernst
,
Philip Miller
,
Chris Roberts
,
Robert Keller
Visualizing Proof Search for Theorem Prover Development.
Electron. Notes Theor. Comput. Sci.
226 (2009)