Comparing formal tools for system design: a judgment study.

Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek, Alessandro Fantechi

Browse the full ICSE paper archive.