conf.researchr.org / Niccolò Marastoni
Registered user since Wed 26 Aug 2020
Name:Niccolò Marastoni
Country:Italy
Affiliation:University of Verona
Contributions
| SAS 2020 | Author of Formal framework for reasoning about the precision of dynamic analysis within the SAS-track |