Analysing Vote Counting Algorithms Via Logic - And its Application to the CADE Election Scheme
- Carsten Schürmann
- , Bernhard Beckert
- , Rejeev Gore
Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review