Website Search
Find information on spaces, staff, and services.
Catalog Search
Journals, Magazines, Newspapers
Proceedings of the ... International Workshop on Formal Methods for Industrial Critical Systems : FMICS
- Author / Creator
- Conferences
- International Workshop on Formal Methods for Industrial Critical Systems
- Available as
- Physical
Details
Checking for availability...
- Creator
- sponsored by ACM SIGSOFT
- Format
- Journals, Magazines, Newspapers
- Language
- English
- Publication
-
- New York, N.Y. : Association for Computing Machinery
- Physical Details
-
- volumes : illustrations ; 28 cm
- OCLC
- ocm63520641
- Description based on: 10th (Sept. 5-6, 2005).
- 2005 workshop co-located with European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE).