TITLE     : 2nd FME Workshop on Formal Methods in Software Engineering
AUTHOR(S) : Gnesi S, Plat N
TYPE      : Book
YEAR      : 2014
CODE      : 295360

*** DO NOT EDIT THIS FILE ***