TITLE     : Comparing formal tools for system design: a judgment study
AUTHOR(S) : Ferrari A, Mazzanti F., Basile D., Ter Beek M.  H., Fantechi A.
TYPE      : Conference article
YEAR      : 2020
CODE      : 424614

*** DO NOT EDIT THIS FILE ***