SPLASH 2022 (series) / Daneshvar Amrollahi

Registered user since Thu 8 Sep 2022
Name:Daneshvar Amrollahi
Bio:
Undergraduate Software Engineering Student
Country:Austria
Affiliation:TU Wien
Personal website:https://daneshvar-amrollahi.github.io/
Twitter:https://twitter.com/AmrollahiD
Contributions
SAS 2022 | Solving Invariant Generation for Unsolvable Loops | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2022-profile
View general profile
View general profile