Verifiable Elections

Kiniry, Joseph Roland (PI)
Cochran, Dermot (PI)

Project: Research

1 Conference article

1 results

2010
Votail: A Formally Specified and Verified Ballot Counting System for Irish PR-STV Elections
Cochran, D. R. & Kiniry, J. R., 2010, In: Karlsruhe Reports in Informatics. 2010, 13, p. 235-252 17 p.
Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review