On the Difficulty of Validating Voting Machine Software with Software

@inproceedings {268524,
author = {Ryan Gardner and Sujata Garera and Aviel D. Rubin},
title = {On the Difficulty of Validating Voting Machine Software with Software},
booktitle = {2007 USENIX/ACCURATE Electronic Voting Technology Workshop (EVT 07)},
year = {2007},
address = {Boston, MA},
url = {https://www.usenix.org/conference/evt-07/difficulty-validating-voting-machine-software-software},
publisher = {USENIX Association},
month = aug
}