TITLE     : Special issue on the First International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, St. Hugh's College, Oxford, March 19, 1996 - Selected papers
AUTHOR(S) : Gnesi S, Latella D
TYPE      : Book
YEAR      : 1998
CODE      : 446697

*** DO NOT EDIT THIS FILE ***