Specifying and verifying requirements for election processes

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]

Authors

Borislava I. Simidchieva

This author has not been identified. Look up 'Borislava I. Simidchieva' in Google

Matthew Marzilli

This author has not been identified. Look up 'Matthew Marzilli' in Google

Lori A. Clarke

This author has not been identified. Look up 'Lori A. Clarke' in Google

Leon J. Osterweil

This author has not been identified. Look up 'Leon J. Osterweil' in Google