Browsing by Author Bormer, Thorsten
Showing results 1 to 2 of 2
Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods
Author(s) | Beckert, Bernhard; Bormer, Thorsten; Gore, Rajeev, et al |
---|---|
Type | Conference paper |
Date Published | 2014 |
Date Created | 23-24 July 2014 |
Verifying voting schemes
Author(s) | Beckert, Bernhard; Gore, Rajeev; Schurmann, Carsten, et al |
---|---|
Type | Journal article |
Date Published | 2014 |
Date Created | - |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator