SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Daneshvar Amrollahi

Registered user since Thu 8 Sep 2022

Name:Daneshvar Amrollahi
Bio:

Undergraduate Software Engineering Student

Country:Austria
Affiliation:TU Wien
Research interests:Program Analysis, Software Verification, Formal Methods, Computer Systems.

Contributions

SAS 2022 Solving Invariant Generation for Unsolvable Loops
Show activities from other conferences

Using general profile