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 | ACM: Software System Award Page 1 of 2 Software System Award CONTACT:Add to Reading ListSource URL: spinroot.comDownload Document from Source WebsiteFile Size: 31,85 KBShare Document on Facebook |