Alessio Ferrari 0001, Franco Mazzanti, Davide Basile, Maurice H. ter Beek, Alessandro Fantechi. Comparing formal tools for system design: a judgment study. In Gregg Rothermel, Doo-Hwan Bae, editors, ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020. pages 62-74, ACM, 2020. [doi]
Abstract is missing.