SAS 2020
Wed 18 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
SPLASH 2020 (series) / SAS 2020 (series) / Marco Zanella
Marco Zanella

Registered user since Sun 31 May 2020

Name:Marco Zanella
Country:Italy
Affiliation:University of Padova, Italy
Personal website: http://hit.psy.unipd.it/zanella-marco
Research interests:Formal Methods, Static Analysis, Abstract Interpretation, Machine learning

Contributions

Show activities from other conferences

SPLASH 2020-profile
View general profile