Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Veröffentlichungen

User Interaction in Deductive Interactive Program Verification

Doktorarbeit
Autor(en):Sarah Caecilia Grebing
Hochschule:Karlsruhe Institute of Technology
Jahr:2019
DOI:10.5445/IR/1000099121

BibTeX

@phdthesis{Grebing19,
  author       = {Sarah Caecilia Grebing},
  title        = {User Interaction in Deductive Interactive Program Verification},
  school       = {Karlsruhe Institute of Technology},
  year         = {2019},
  month        = oct,
  doi          = {10.5445/IR/1000099121}
}