Registered user since Fri 24 Jan 2020

Name:Davide Basile
Affiliation:University of Florence

Contributions

ICSE 2020 Author of Comparing Formal Tools for System Design: a Judgment Study within the Technical Papers-track