KIT | KIT-Bibliothek | Impressum | Datenschutz

New Generation of Voting Machines in Germany The Hamburg Way to Verify Correctness

Volkamer, Melanie; Vogt, Roland



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Jahr 2006
Sprache Englisch
Identifikator KITopen ID: 1000082017
Erschienen in Frontiers in Electronic Elections - FEE '06
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page