TITLE     : Formal Aspects of Computing. The International Journal of Formal Methods. Special issue on formal methods for industrial critical systems.
AUTHOR(S) : Gnesi S, Latella D
TYPE      : Book
YEAR      : 1998
CODE      : 190099

*** DO NOT EDIT THIS FILE ***