ITU

ITU

ITU / Research / Journals > Karlsruhe Reports in Informatics > Research outputs

Karlsruhe Reports in Informatics

All
Research

1 - 1 out of 1Page size: 10

Sort by: Publication date

2010
Published
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

ID: 32037902