(Q102251049)
Statements
2 references
8 January 2015
1 reference
2014
8 January 2015
For contributions to software analysis, testing, and verification (English)
1 reference
Ph.D. University of Washington 2000
No description defined