Rajeev Goré, Thomas Meumann. Proving the monotonicity criterion for a plurality vote-counting program as a step towards verified vote-counting. In Robert Krimmer, Melanie Volkamer, editors, 6th International Conference on Electronic Voting: Verifying the Vote, EVOTE 2014, Lochau / Bregenz, Austria, October 29-31, 2014. pages 1-7, IEEE, 2014. [doi]
Abstract is missing.