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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.