Formal and Semi-formal Verification of a Web Voting System
Résumé
no abstract
Article Dans Une Revue
International Journal of Web Information Systems
Année : 2015
William Domingues Vinhas : Connectez-vous pour contacter le contributeur
https://amu.hal.science/hal-01479632
Soumis le : mardi 28 février 2017-20:57:03
Dernière modification le : mardi 5 décembre 2023-18:08:07
Dates et versions
Identifiants
- HAL Id : hal-01479632 , version 1
Citer
Maximiliano Cristia, Claudia Frydman. Formal and Semi-formal Verification of a Web Voting System. International Journal of Web Information Systems, 2015, 11-2, pp.183-204. ⟨hal-01479632⟩
Collections
48
Consultations
0
Téléchargements