Aaron Stump
Proof Tools and Correct Program Development
Aaron Stump, February 3, 2003
Department of Computer Science, Cornell University
nuprl@cs.cornell.edu