SAS 2020
Wed 18 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
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

SAS 2020Committee Member in Artifact Evaluation Committee within the SAS-track
Show activities from other conferences

Using general profile