Maximiliano Cristiá, Claudia S. Frydman. A Functional Verification of a Web Voting System. In Beniamino Murgante, Sanjay Misra, Ana Maria A. C. Rocha, Carmelo Maria Torre, Jorge Gustavo Rocha, Maria Irene Falcão, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi, editors, Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30 - July 3, 2014, Proceedings, Part I. Volume 8579 of Lecture Notes in Computer Science, pages 640-655, Springer, 2014. [doi]
Abstract is missing.