Verification-Centric Realization of Electronic Vote Counting Joseph R. Kiniry, Dermot Cochran, and Patrick E. Tierney School of Computer Science and Informatics University College Dublin Belfield, Dublin 4, Ireland

First Page		Document Content
Date: 2007-07-03 10:25:14		Verification-Centric Realization of Electronic Vote Counting Joseph R. Kiniry, Dermot Cochran, and Patrick E. Tierney School of Computer Science and Informatics University College Dublin Belfield, Dublin 4, Ireland Add to Reading List Source URL: www.usenix.org Download Document from Source Website File Size: 110,28 KB Share Document on Facebook