![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Electronic Voting Volume 10615 || No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex Voting Schemes
Krimmer, Robert, Volkamer, Melanie, Braun Binder, Nadja, Kersting, Norbert, Pereira, Olivier, Schürmann, CarstenVolume:
10.1007/97
Year:
2017
Language:
english
DOI:
10.1007/978-3-319-68687-5_5
File:
PDF, 286 KB
english, 2017