TITLE     : Empirical formal methods: guidelines for performing empirical studies on formal methods
AUTHOR(S) : Ter Beek Mh, Ferrari A
TYPE      : Journal article
YEAR      : 2022
CODE      : 471822

*** DO NOT EDIT THIS FILE ***