Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods
Date
2014
Authors
Beckert, Bernhard
Bormer, Thorsten
Gore, Rajeev
Kirsten, Michael
Meumann, Tom
Journal Title
Journal ISSN
Volume Title
Publisher
Conference Organising Committee
Abstract
Description
Keywords
Citation
Collections
Source
Proceedings, 8th International Verification Workshop (VERIFY)in connection with IJCAR 2014 at FLoC 2014
Type
Conference paper
Book Title
Entity type
Access Statement
License Rights
DOI
Restricted until
2037-12-31