Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

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}
}