Conference Proceedings
No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex Voting Schemes
Lyria Bennett Moses, Rajeev Gore, Ron Levy, Dirk Pattinson, Mukesh Tiwari, R Krimmer (ed.), M Volkamer (ed.), NB Binder (ed.), N Kersting (ed.), O Pereira (ed.), C Schurmann (ed.)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | SPRINGER INTERNATIONAL PUBLISHING AG | Published : 2017