Browsing by Author

Showing results 1 to 2 of 2
Authors / EditorsTitleTypeIssue Date
Georgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura ; Ivrii, Alexander ; Strichman, Ofer Trace Logic for Inductive Loop ReasoningInproceedings 2020
Georgiou, Pamina Trace Reasoning for formal verification; guiding vampire in inductionThesis Hochschulschrift 2019