ECOOP 2022
Mon 6 June - Thu 7 July 2022 Berlin, Germany
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 On the need for a common API for abstract domains of object-oriented programs
Show activities from other conferences

Using general profile