DMCA

Verifying High-Confidence Interactive Systems: Electronic Voting and Beyond

by Sanjit A. Seshia