Corina S. Pasareanu
Original record- Institution
- Kansas State University
- Year
- 2001
- Country
- United States
- MGP identifier
- 115175
Dissertation: Abstraction and Modular Reasoning for the Verification of Software
Advisor 1
- Matthew Barbour DwyerUniversity of Massachusetts Amherst · 1995
Students 0
No students recorded in this snapshot.