@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} }
User Interaction in Deductive Interactive Program Verification
Author(s): | Sarah Caecilia Grebing |
---|---|
School: | Karlsruhe Institute of Technology |
Year: | 2019 |
DOI: | 10.5445/IR/1000099121 |