KIT | KIT-Bibliothek | Impressum | Datenschutz

Öffentlichkeit vs. Verifizierbarkeit - Inwieweit erfüllt mathematische Verifizierbarkeit den Grundsatz der Öffentlichkeit der Wahl

Henning, Maria; Demirel, Denise; Volkamer, Melanie


Postprint §
DOI: 10.5445/IR/1000081870
Veröffentlicht am 18.07.2018
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2012
Sprache Deutsch
Identifikator urn:nbn:de:swb:90-818709
KITopen-ID: 1000081870
Erschienen in International Legal Informatics Symposium (IRIS), Kuching, Sarawak, Malaysia, 4 - 6 September 2012. Ed.: Ahmad Khushairy Makhtar ...
Verlag Curran
Seiten 213-220
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page