Analysing Vote Counting Algorithms via Logic - And Its Application to the CADE Election Scheme.

Bernhard Beckert, Rajeev Gor, Carsten Schrmann

Browse the full CADE paper archive.