TITLE     : Editorial - Formal Aspects of Computing
AUTHOR(S) : Gnesi S, Cavalcanti A, Fitzgerald J, Heitmeyer C
TYPE      : Journal article
YEAR      : 2019
CODE      : 422753

*** DO NOT EDIT THIS FILE ***