TITLE     : The Legacy of Stefania Gnesi: From Software Engineering to Formal Methods and Tools, and Back
AUTHOR(S) : Ter Beek M.  H., Fantechi A., Semini L.
TYPE      : Contribution to book
YEAR      : 2019
CODE      : 409361

*** DO NOT EDIT THIS FILE ***