Skip navigation
The Australian National University

On the Specification and Verification of Voting Schemes

Citation

Beckert, B, Gore, R & Schurmann, C 2013, 'On the Specification and Verification of Voting Schemes, Lecture Notes in Computer Science (LNCS), vol. 7985, no. 2013, pp. 25-40.

Year

2013

ANU Authors

Field of Research

  • Computational Logic And Formal Languages

Updated:  24 November 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers