M.: Towards automatic analysis of election verifiability properties (2010)

by B Smyth, Kremer Ryan, S Kourjieh
Venue:In: ARSPA-WITS’10