TITLE     : 4th FME Workshop on Formal Methods in Software Engineering Procedings
AUTHOR(S) : Gnesi S, Nico P
TYPE      : Book
YEAR      : 2016
CODE      : 366993

*** DO NOT EDIT THIS FILE ***