TITLE     : Empirical formal methods: guidelines for performing empirical studies on Formal Methods
AUTHOR(S) : Ter Beek Mh, Ferrari A
TYPE      : Other
YEAR      : 2022
CODE      : 491210

*** DO NOT EDIT THIS FILE ***