[Lecture Notes in Computer Science] Electronic Voting Volume 11143 (Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings) || Modular Formalisation and Verification of STV Algorithms
Krimmer, Robert; Volkamer, Melanie; Cortier, Véronique; Goré, Rajeev; Hapsara, Manik; Serdült, Uwe; Duenas-Cid, David
- 作者Krimmer, Robert; Volkamer, Melanie; Cortier, Véronique; Goré, Rajeev; Hapsara, Manik; Serdült, Uwe; Duenas-Cid, David
- 文件大小713.50KB
- 发表时间2018
- DOI10.1007/978-3-030-00419-4_4
- 页码51-66