Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

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