Formal Specification and Analysis of Danish and Irish Ballot Counting Algorithms

Dermot Cochran

    Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Ph.d.-afhandling

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'Formal Specification and Analysis of Danish and Irish Ballot Counting Algorithms'. Sammen danner de et unikt fingeraftryk.

    Keyphrases

    Computer Science

    Mathematics