The Corollary of my Corollary is my ... Proposition? : Proof Justification for Computer Programs

Samuel Behrend

Division	Sciences
Major	Mathematics/Computer Sciences
Year	2006
Advisor	Joan Krone
Funding Sources	The Young Scholar Program