%0 Journal Article %1 journals/ijwis/CristiaF15 %A Cristiá, Maximiliano %A Frydman, Claudia S. %D 2015 %J Int. J. Web Inf. Syst. %K dblp %N 2 %P 183-204 %T Formal and semi-formal verification of a web voting system. %U http://dblp.uni-trier.de/db/journals/ijwis/ijwis11.html#CristiaF15 %V 11

@article{journals/ijwis/CristiaF15, added-at = {2021-10-14T00:00:00.000+0200}, author = {Cristiá, Maximiliano and Frydman, Claudia S.}, biburl = {https://www.bibsonomy.org/bibtex/20203aa31ffe133f5dfca68861012addd/dblp}, ee = {https://doi.org/10.1108/IJWIS-11-2014-0042}, interhash = {2c55d54ac098831e146a537d0df5e2ec}, intrahash = {0203aa31ffe133f5dfca68861012addd}, journal = {Int. J. Web Inf. Syst.}, keywords = {dblp}, number = 2, pages = {183-204}, timestamp = {2024-04-08T09:37:55.000+0200}, title = {Formal and semi-formal verification of a web voting system.}, url = {http://dblp.uni-trier.de/db/journals/ijwis/ijwis11.html#CristiaF15}, volume = 11, year = 2015 }