TITLE     : From Software Engineering to Formal Methods and Tools, and Back. Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. Preface
AUTHOR(S) : Ter Beek Mh, Fantechi A, Semini L
TYPE      : Book
YEAR      : 2019
CODE      : 409363

*** DO NOT EDIT THIS FILE ***