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