William Deng
Original record- Institution
- Kansas State University
- Year
- 2007
- Country
- United States
- MGP identifier
- 113131
Dissertation: Contract-based Verification and Test Case Generation for Open Systems
Mathematics Subject Classification: 68—Computer science
Advisors 2
- RobbyKansas State University · 2004
- John Mark HatcliffKansas State University · 1994
Students 0
No students recorded in this snapshot.