Proving the monotonicity criterion for a plurality vote-counting program as a step towards verified vote-counting

Citation

Gore, R & Meumann, T 2014, 'Proving the monotonicity criterion for a plurality vote-counting program as a step towards verified vote-counting', 6th International Conference on Electronic Voting: Verifying the Vote (EVOTE) 2014, IEEE, USA, pp. 1-7.

Year

2014

ANU Authors

Field of Research

  • Computational Logic And Formal Languages

Updated:  20 April 2024 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers