Registered user since Wed 26 Aug 2020
Name:Niccolò Marastoni
Country:Italy
Affiliation:University of Verona
Contributions
| SAS 2020 | Formal framework for reasoning about the precision of dynamic analysis | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2020-profile
View general profile
View general profile