Formal Specification and Analysis of Danish and Irish Ballot Counting Algorithms

Dermot Cochran

    Research output: Theses › PhD thesis

    Fingerprint

    Dive into the research topics of 'Formal Specification and Analysis of Danish and Irish Ballot Counting Algorithms'. Together they form a unique fingerprint.

    Keyphrases

    Computer Science

    Mathematics