![](/img/cover-not-exists.png)
[ACM Press the 16th ACM conference - Chicago, Illinois, USA (2009.11.09-2009.11.13)] Proceedings of the 16th ACM conference on Computer and communications security - CCS '09 - On voting machine design for verification and testability
Sturton, Cynthia, Jha, Susmit, Seshia, Sanjit A., Wagner, DavidYear:
2009
Language:
english
DOI:
10.1145/1653662.1653719
File:
PDF, 463 KB
english, 2009