Gianluca Amato

Registered user since Fri 3 Jun 2022

Name:Gianluca Amato
Country:Italy
Affiliation:University of Chieti-Pescara
Research interests:Static analysis of software, assisted theorem proving

Contributions

FTfJP 2022 Author of On the need for a common API for abstract domains of object-oriented programs within the FTfJP-track