Paving the way for electoral reform Ben Smyth and Mark Ryan Formal Verification and Security Group, School of Computer Science, University of Birmingham May 19, 2010 - Birmingham Group - Document - PDFSEARCH.IO

First Page	Meta Content
	Paving the way for electoral reform Ben Smyth and Mark Ryan Formal Verification and Security Group, School of Computer Science, University of Birmingham May 19, 2010 Add to Reading List Document Date: 2012-09-26 05:08:01 Open Document File Size: 46,09 KB Share Result on Facebook

Paving the way for electoral reform Ben Smyth and Mark Ryan Formal Verification and Security Group, School of Computer Science, University of Birmingham May 19, 2010Add to Reading List