ECOOP 2022
Mon 6 June - Thu 7 July 2022 Berlin, Germany
Gianluca Amato

Registered user since Fri 3 Jun 2022

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


FTfJP 2022 On the need for a common API for abstract domains of object-oriented programs
Show activities from other conferences

ECOOP 2022-profile
View general profile