@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
}
