Modular Synthesis of Provably Correct Vote Counting Programs

Citation

Verity, F, Pattinson, D & Gore, R 2016, 'Modular Synthesis of Provably Correct Vote Counting Programs', 1st International Joint Conference on Electronic Voting, E-Vote-ID 2016, ed. R Krimmer, M Volkamer, J Barrat, J Benaloh, N Goodman, P Ryan and V Teague, Springer International Publishing AG, Switzerland, pp. 55-70pp.

Year

2016

Field of Research

  • Computational Logic And Formal Languages

Updated:  17 April 2021 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers