Bounded Verification of Voting Software

by Greg Dennis , Kuat Yessenov , Daniel Jackson
Citations:5 - 1 self