Ann Pendleton Anderson

Thesis Title: Program Derivation by Proof Transformation
Degree Type: Ph.D. in Computer Science
Advisor(s): Frank Pfenning
Graduated: December 1993