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