Skip navigation
The Australian National University

Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods

Citation

Beckert, B, Bormer, T, Gore, R et al 2014, 'Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods', 8th International Verification Workshop. Held as Part of the Vienna Summer of Logic, VSL 2014

Year

2014

ANU Authors

Field of Research

  • Computational Logic And Formal Languages

Updated:  20 November 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers