Robby
Original record- Institution
- Kansas State University
- Year
- 2004
- Country
- United States
- MGP identifier
- 94910
Dissertation: An Extensible Model-Checking Framework for Software Systems
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Matthew Barbour DwyerUniversity of Massachusetts Amherst · 1995
- John Mark HatcliffKansas State University · 1994
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| William Deng | Kansas State University | 2007 | 0 |