Formal Specification and Analysis of Danish and Irish Ballot Counting Algorithms

Dermot Cochran

    Research output: Book / Anthology / Report / Ph.D. thesis › Ph.D. 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