conf.researchr.org / Stefano Tonetta

Registered user since Thu 8 Nov 2018

Name: Stefano Tonetta

Affiliation: Fondazione Bruno Kessler, Italy

Contributions

FormaliSE 2020PC Member in Program Committee within the FormaliSE 2020-track
FormaliSE 2019Committee Member in Program Committee within the FormaliSE 2019-track
TACAS 2019Author of COMPASS 3.0 within the TACAS 2019-track
ETAPS 2019Author of The COMPASS 3.0 Toolset within the Posters-track