Programming Logic and Semantics

65 Article in proceedings
39 Journal article
23 Conference article
11 Book chapter
More

1 results

Filter

2015
Certification of ICTs in Elections
Schürmann, C., Barrat, J., Bolo, E., Bravo, A., Krimmer, R., Neumann, S., Acong Parreno, A., Volkamer, M. & Wolf, P., 2015, Stockholm: International IDEA. 76 p.
Research output: Book / Anthology / Report / Ph.D. thesis › Book › Research