Browsing

Showing results 1 to 1 of 1
PreviewAuthors / EditorsTitleTypeIssue Date
Demyanova Yulia - 2017 - Systematic Predicate Abstraction using Variable Roles.pdf.jpgDemyanova, Yulia ; Rümmer, Philipp ; Zuleger, FlorianSystematic Predicate Abstraction using Variable RolesInproceedings Konferenzbeitrag 2017