Votail: A Formally Specified and Verified Ballot Counting System for Irish PR-STV Elections

Dermot Robert Cochran, Joseph Roland Kiniry

    Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

    Søgeresultater

    • Verifiable Elections

      Kiniry, J. R. (PI) & Cochran, D. (PI)

      01/01/2010 → 01/01/2012

      Projekter: Projekt › Forskning