@inproceedings{BeckertGoreSchuermann2013b,
author = {Bernhard Beckert and
Rajeev Gor{\'e} and
Carsten Sch{\"u}rmann},
title = {On the Specification and Verification of Voting Schemes},
pages = {25--40},
ee = {http://dx.doi.org/10.1007/978-3-642-39185-9_2},
booktitle = {4th International Conference on E-Voting and
Identity (Vote-ID 2013)},
venue = {Guildford, {UK}},
eventdate = {2013-07-17/2013-07-19},
editor = {James Heather and
Steve A. Schneider and
Vanessa Teague},
publisher = {Springer},
series = {LNCS},
volume = {7985},
year = {2013}
}