TITLE     : Formal methods for industrial critical systems: a survey of applications
AUTHOR(S) : Gnesi S, Margaria T
TYPE      : Book
YEAR      : 2013
CODE      : 277613

*** DO NOT EDIT THIS FILE ***