KIT | KIT-Bibliothek | Impressum | Datenschutz

User Interaction in Deductive Interactive Program Verification

Grebing, Sarah Caecilia

Open Access Logo


Volltext §
DOI: 10.5445/IR/1000099121
Veröffentlicht am 23.10.2019
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Hochschulschrift
Publikationsjahr 2019
Sprache Englisch
Identifikator KITopen-ID: 1000099121
Verlag Karlsruher Institut für Technologie (KIT)
Umfang XVIII, 298 S.
Art der Arbeit Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Theoretische Informatik (ITI)
Prüfungsdatum 07.02.2019
Referent/Betreuer Prof. B. Beckert
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page