An Introduction to Voting Rule Verification

Bernhard Beckert, Thorsten Bormer, Rajeev Gore, Michael Kirsten, Carsten Schürmann

Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review

Original language	English
Title of host publication	Trends in Computational Social Choice
Number of pages	20
Publisher	AI Access
Publication date	2017
Pages	269-289
Chapter	14
ISBN (Print)	978-1-326-91209-3
Publication status	Published - 2017

Access to Document

@inbook{c9fbc460dc7549c186bb581e5facce78,

title = "An Introduction to Voting Rule Verification",

author = "Bernhard Beckert and Thorsten Bormer and Rajeev Gore and Michael Kirsten and Carsten Sch{\"u}rmann",

year = "2017",

language = "English",

isbn = "978-1-326-91209-3",

pages = "269--289",

booktitle = "Trends in Computational Social Choice",

publisher = "AI Access",

}