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

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'Votail: A Formally Specified and Verified Ballot Counting System for Irish PR-STV Elections'. Sammen danner de et unikt fingeraftryk.
    Sorter

    Keyphrases

    Computer Science