Not registered as user yet

Name:George Kenison
Country:Austria
Affiliation:TU Wien

Contributions

SAS 2022 Author of Solving Invariant Generation for Unsolvable Loops within the SAS-track