Verifiable Elections

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

Projekter: Projekt › Forskning

1 Konferenceartikel

1 resultater

2010
Votail: A Formally Specified and Verified Ballot Counting System for Irish PR-STV Elections
Cochran, D. R. & Kiniry, J. R., 2010, I: Karlsruhe Reports in Informatics. 2010, 13, s. 235-252 17 s.
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review