![[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]()
[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 AlgorithmsKrimmer, Robert; Volkamer, Melanie; Cortier, Véronique; Goré, Rajeev; Hapsara, Manik; Serdült, Uwe; Duenas-Cid, David · 2018