DMCA

Bounded Verification of Voting Software

by Greg Dennis , Kuat Yessenov , Daniel Jackson
Citations:12 - 3 self