TITLE     : Formal Methods in System Design. An International Journal. Special issue on formal methods for industrial critical systems.
AUTHOR(S) : Gnesi S, Latella D
TYPE      : Book
YEAR      : 1998
CODE      : 190100

*** DO NOT EDIT THIS FILE ***