29th International Symposium, SAS 2022

Event name
29th International Symposium, SAS 2022
 
Event type
Event for scientific audience
 
Start date
05-12-2022
End date
07-12-2022
 
Location
Auckland
Country
New Zealand
 
Conference Track
Single Track
Event format Veranstaltungsformat
Hybrid

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