Stefano Campanelli, Alessandro Falleni, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli. Mobile Implementation and Formal Verification of an e-Voting System. In Abdelhamid Mellouk, Jun Bi, Guadalupe Ortiz, Dickson K. W. Chiu, Manuela Popescu, editors, Third International Conference on Internet and Web Applications and Services, ICIW 2008, 8-13 June 2008, Athens, Greece. pages 476-481, IEEE Computer Society, 2008. [doi]
Abstract is missing.