Automating the Analysis of Voting Systems.

Sherif M. Yacoub, Xiaofan Lin, Steven J. Simske, John Burns

Browse the full ISSRE paper archive.