Title

ERCIM Workshop on Formal Methods for Industrial Critical Systems 1996

Title Supplement

St Hugh's College, Oxford (UK) March 19, 1996

Person Involved

Corporate Author

European Research Consortium for Informatics and Mathematics -ERCIM-, Working Group on Formal Methods for Industrial Critical Systems

Publishing Place

Oxford

Publication Date

1996

Series

Technical Report CNR; 94/45

Conference