DMCA

Towards automatic analysis of election verifiability properties (2009)

by Ben Smyth , Mark Ryan , Steve Kremer , Mounira Kourjieh
Citations:10 - 5 self