TITLE     : Empirical software engineering and formal methods for IoT systems
AUTHOR(S) : Basile D, Ter Beek Mh, Broccia G, Ferrari A
TYPE      : Journal article
YEAR      : 2022
CODE      : 471818

*** DO NOT EDIT THIS FILE ***