Registered user since Fri 24 Jan 2020

Name: Davide Basile

Affiliation: University of Florence

Contributions

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