- Home
- Proceedings
- MEMCOD
- MEMCOD 2004
Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE '04
The battle of accountable voting systems
Year: 2004, Pages: 105Authors
D.L. Dill, Dept. of Stanford Comput. Sci., CA, USA
Abstract