Browsing by Author Meumann, Thomas
Showing results 1 to 1 of 1
Proving the monotonicity criterion for a plurality vote-counting program as a step towards verified vote-counting
Author(s) | Gore, Rajeev; Meumann, Thomas |
---|---|
Type | Conference paper |
Date Published | 2014 |
Date Created | 29-31 October 2014 |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator