Media type: E-Book Title: Formal Verification of an Electronic Voting System Contributor: Grahl, Daniel [Author] imprint: Karlsruhe: KIT, Fakultät für Informatik, 2014 Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2014,11 Extent: Online-Ressource Language: English Origination: Footnote: Access State: Open Access