!!Research output per year
!!Research output per year
Publikation
- 1 Konferenceartikel
- 1 resultater
Søgeresultater
-
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