Personal tools
You are here: Home → Awards → Doctoral Dissertation Award
 
Document Actions

Awards

Awards
2000 – William Chan

Honorable Mention (2000)
Citation

For his dissertation "Symbolic Model Checking for Large Software Specifications," nominated by the University of Washington, Seattle, Washington.