Trustworthy Democratic Technology

Schürmann, Carsten (PI)
Boulus-Rødje, Nina (CoI)
Gad, Christopher (CoI)
Kiniry, Joseph Roland (CoI)
Markussen, Randi (CoI)
Gustafsson, Daniel (CoI)
Wang, Jian (CoI)
Vadgaard, Anne Kathrine Pihl (CoI)
Murawska, Agata Anna (CoI)
Bock, Peter Brottveit (CoI)

Programming Logic and Semantics

Projekter: Projekt › Forskning

6 Tidsskriftartikel
3 Paper
2 Konferenceabstrakt til konference
2 Bidrag til avis - Avisartikel
Mere
- 1 Bidrag til bog/antologi
- 1 Konferencebidrag i proceedings

1 resultater

Filter

2013
Formal Model-based Validation for Tally Systems
Kiniry, J. R., Cochran, D. & Kiniry, J. R., 18 jul. 2013, E-Voting and Identify. Springer, Bind 7985. s. 41-60 (Lecture Notes in Computer Science).
Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review