First Page | Document Content | |
---|---|---|
Date: 2010-04-20 09:42:28 | Formal Analysis of Electronic Voting Systems Mark Ryan University of Birmingham joint work with Ben Smyth Steve KremerAdd to Reading ListSource URL: www.cs.bham.ac.ukDownload Document from Source WebsiteFile Size: 865,78 KBShare Document on Facebook |