Nevin Heintze

Thesis Title: Set Based Program Analysis
Degree Type: Ph.D. in Computer Science
Advisor(s): Peter Lee, Frank Pfenning
Graduated: May 1993