Showing 16 items.
- EFF Pioneer Award (links | edit)
- Voter-verified paper audit trail (links | edit)
- Symposium on Logic in Computer Science (links | edit)
- Rajeev Alur (links | edit)
- Edmund M. Clarke (links | edit)
- ACM SIGLOG (links | edit)
- List of fellows of the Association for Computing Machinery (links | edit)
- List of people named David (links | edit)
- David L. Dill (transclusion) (links | edit)
- David Dill (links | edit)
- Verified Voting Foundation (links | edit)
- ACM Doctoral Dissertation Award (links | edit)
- Timed word (links | edit)
- List of American Academy of Arts and Sciences members (2006–2019) (links | edit)
- Kenneth L. McMillan (links | edit)
- Talk:David L. Dill (transclusion) (links | edit)