Analysing Vote Counting Algorithms Via Logic - And its Application to the CADE Election Scheme
- Carsten Schürmann
- , Bernhard Beckert
- , Rejeev Gore
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review