TITLE     : Integrated formal methods - 9th International Conference, IFM 2012
AUTHOR(S) : Derrick J, Gnesi S, Latella D, Treharne H
TYPE      : Book
YEAR      : 2012
CODE      : 213224

*** DO NOT EDIT THIS FILE ***