<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2008-06-30 15:34:26Computing Gerard J. Holzmann ACM Software System Award SPIN model checker ACM Portal Peter J. Denning Computer science Association for Computing Machinery Science |
Add to Reading List |
ACM: Software System Award Page 1 of 2 Software System Award CONTACT: | ACM: Software System Award Page 1 of 2 Software System Award CONTACT:DocID: 1kJZt - View Document |
| ACM: Software System Award Page 1 of 2 Software System Award CONTACT:DocID: 1ahYd - View Document |
 | Contact: Virginia GoldDocID: 19GG4 - View Document |
 | Contact: Virginia GoldDocID: 19BfZ - View Document |
![DEPARTMENT REPORT[removed] –[removed] Computer Science and Engineering www.cs.umn.edu](https://www.pdfsearch.io/img/fcc8e46bc865fcf4ba594ee769d26b33.jpg "DEPARTMENT REPORT[removed] –[removed] Computer Science and Engineering www.cs.umn.edu") | DEPARTMENT REPORT[removed] –[removed] Computer Science and Engineering www.cs.umn.eduDocID: viM6 - View Document |