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.

    Keyphrases

    Computer Science