Stefano Campanelli, Alessandro Falleni, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli, "Mobile Implementation and Formal Verification of an e-Voting System," Internet and Web Applications and Services, International Conference on, pp. 476-481, 2008 Third International Conference on Internet and Web Applications and Services, 2008.

@article{ 10.1109/ICIW.2008.77,
author = {Stefano Campanelli and Alessandro Falleni and Fabio Martinelli and Marinella Petrocchi and Anna Vaccarelli},
title = {Mobile Implementation and Formal Verification of an e-Voting System},
journal ={Internet and Web Applications and Services, International Conference on},
volume = {0},
year = {2008},
isbn = {978-0-7695-3163-2},
pages = {476-481},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICIW.2008.77},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Internet and Web Applications and Services, International Conference on
TI - Mobile Implementation and Formal Verification of an e-Voting System
SN - 978-0-7695-3163-2
SP476
EP481
A1 - Stefano Campanelli,
A1 - Alessandro Falleni,
A1 - Fabio Martinelli,
A1 - Marinella Petrocchi,
A1 - Anna Vaccarelli,
PY - 2008
KW - Mobile e-voting
KW - implementation
KW - formal validation
VL - 0
JA - Internet and Web Applications and Services, International Conference on
ER -