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
2013ANU Authors
Field of Research
- Computational Logic And Formal Languages