TITLE     : Message from the chairs formaliSE 2020
AUTHOR(S) : Gnesi S, Plat N, Bae K, Bianculli D, Krstic S
TYPE      : Conference article
YEAR      : 2020
CODE      : 446374

*** DO NOT EDIT THIS FILE ***