Borislava I. Simidchieva, Matthew Marzilli, Lori A. Clarke, Leon J. Osterweil. Specifying and verifying requirements for election processes. In Soon Ae Chun, Marijn Janssen, José Ramón Gil-García, editors, Proceedings of the 9th Annual International Conference on Digital Government Research, Partnerships for Public Innovation, DG.O 2008, Montreal, Canada, May 18-21, 2008. Volume 289 of ACM International Conference Proceeding Series, pages 63-72, Digital Government Research Center, 2008. [doi]
Abstract is missing.