@PhDThesis{KirstenDiss2022, author = {Michael Kirsten}, year = {2022}, title = {Formal Methods for Trustworthy Voting Systems}, school = {Karlsruhe Institute of Technology (KIT)}, note = {To appear.} }
Formal Methods for Trustworthy Voting Systems
Author(s): | Michael Kirsten |
---|---|
School: | Karlsruhe Institute of Technology (KIT) |
Year: | 2022 |
Note
To appear.