Woon Chung William Chan
Original record- Institution
- University of Washington
- Year
- 1999
- Country
- United States
- MGP identifier
- 71848
Dissertation: Symbolic Model Checking for Large Software Specifications
Advisors 2
- David Samuel NotkinCarnegie Mellon University · 1984
- Richard John AndersonStanford University · 1985
Students 0
No students recorded in this snapshot.