Beckert, Bernhard
Bormer, Thorsten
Gore, Rajeev
Kirsten, Michael
Meumann, Tom
2015-12-10
23-24 July
http://hdl.handle.net/1885/67548
Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods
2014
2015-12-10