conf.researchr.org / Miroslav Stankovič
Not registered as user yet
Name:Miroslav Stankovič
Country:Austria
Affiliation:TU Wien
Contributions
| SPLASH 2022 | Author of This Is the Moment for Probabilistic Loops within the OOPSLA-track |
| SAS 2022 | Author of Solving Invariant Generation for Unsolvable Loops within the SAS-track |