Home  |  deutsch  |  Legals  |  Data Protection  |  Sitemap  |  KIT

User Interaction in Deductive Interactive Program Verification

PhD Thesis

Author(s):Sarah Caecilia Grebing
School:Karlsruhe Institute of Technology
Year: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}
}