Publications Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Amrollahi , Daneshvar ; Bartocci, Ezio ; Kenison, George ; Kovács, Laura ; Moosbrugger, Marcel ; Stankovič, Miroslav Solving Invariant Generation for Unsolvable LoopsInproceedings Konferenzbeitrag 2022