Title

Second International ERCIM Workshop on Formal Methods for Industrial Critical Systems

Title Supplement

Cesena, Italy, 4 - 5 July 1997

Person Involved

Corporate Author

European Research Consortium for Informatics and Mathematics -ERCIM-

Publishing Place

Pisa

Publication Date

1997

Conference