Verification Systems for Electronic Voting: A Survey.

Jordi Pujol Ahulló Roger Jardí-Cedó Jordi Castellà-Roca

Published in: Electronic Voting (2010)

Keyphrases

electronic voting
formal methods
model checking
database systems