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

    Filter
    Afsluttet

    Søgeresultater

    • Verifiable Elections

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

      01/01/2010 → 01/01/2012

      Projekter: Projekt › Forskning