%0 Conference Paper %1 conf/iciw/CampanelliFMPV08 %A Campanelli, Stefano %A Falleni, Alessandro %A Martinelli, Fabio %A Petrocchi, Marinella %A Vaccarelli, Anna %B ICIW %D 2008 %E Mellouk, Abdelhamid %E Bi, Jun %E Ortiz, Guadalupe %E Chiu, Dickson K. W. %E Popescu, Manuela %I IEEE Computer Society %K dblp %P 476-481 %T Mobile Implementation and Formal Verification of an e-Voting System. %U http://dblp.uni-trier.de/db/conf/iciw/iciw2008.html#CampanelliFMPV08 %@ 978-0-7695-3163-2

@inproceedings{conf/iciw/CampanelliFMPV08, added-at = {2023-03-24T00:00:00.000+0100}, author = {Campanelli, Stefano and Falleni, Alessandro and Martinelli, Fabio and Petrocchi, Marinella and Vaccarelli, Anna}, biburl = {https://www.bibsonomy.org/bibtex/23896667b518875ffa756459ef55b7466/dblp}, booktitle = {ICIW}, crossref = {conf/iciw/2008}, editor = {Mellouk, Abdelhamid and Bi, Jun and Ortiz, Guadalupe and Chiu, Dickson K. W. and Popescu, Manuela}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICIW.2008.77}, interhash = {4e8d1e6d3bf95b6ac5007382ab6d7ee3}, intrahash = {3896667b518875ffa756459ef55b7466}, isbn = {978-0-7695-3163-2}, keywords = {dblp}, pages = {476-481}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T02:05:06.000+0200}, title = {Mobile Implementation and Formal Verification of an e-Voting System.}, url = {http://dblp.uni-trier.de/db/conf/iciw/iciw2008.html#CampanelliFMPV08}, year = 2008 }