Registered user since Fri 16 Sep 2022

Name:Nicolas Manini
Country:Spain
Affiliation:IMDEA Software Institute

Contributions

SAS 2022 Author of Deciding program properties via complete abstractions on bounded domains within the SAS-track