Oxford, England, March 19th, 1996
(Satellite Workshop at FME'96)
The first workshop of the ERCIM Working Group on Formal Methods for
Industrial Critical Systems will be held in Oxford on March 19th, 1996
as a satellite meeting of the FME'96 Symposium.