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