![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Verified Software. Theories, Tools, and Experiments Volume 11294 (10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers) || Verified Certificate Checking for Counting Votes
Piskac, Ruzica, Rümmer, PhilippVolume:
10.1007/97
Year:
2018
Language:
english
DOI:
10.1007/978-3-030-03592-1_5
File:
PDF, 563 KB
english, 2018