Bounded Verification of Voting Software (2008)

by G Dennis, K Yessenov, D Jackson
Venue:in VSTTE 2008