FMICS'05 : proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, September 5-6, 2005, Lisbon, Portugal, co-located with ESEC/FSE'05
Author(s)
Bibliographic Information
FMICS'05 : proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, September 5-6, 2005, Lisbon, Portugal, co-located with ESEC/FSE'05
Association for Computing Machinery, c2005
- Other Title
-
FMICS '05
Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems
Available at / 2 libraries
-
No Libraries matched.
- Remove all filters.
Note
Also issued online with additional title: Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems
Includes bibliographic references and author index
"ACM Order Number 592055"--P. ii
HTTP:URL=http://portal.acm.org/toc.cfm?id=1081180&coll=portal&dl=ACM&type=proceeding&idx=SERIES364&part=Proceedings&WantType=Proceedings&title=Foundations%20of%20Software%20Engineering