On Voting Machine Design for Verification and Testability
Speaker:
Sanjit Seshia
University of California, Berkeley
Department of Electrical Engineering & Computer Sciences
253 Cory
Date:
Tuesday, 28 Dec 2010 (all day)
Venue:
A-212 (STCS Seminar Room)