FMICS '05
Subtitle: 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
By: editors, Tiziana Margaria & Mieke Massink ; sponsored by ACM SIGSOFT.
Contributors: Margaria-Steffen, Tiziana, 1964-; Massink, Mieke.; ACM Sigsoft.; ESEC/FSE 2005 (2005 : Lisbon, Portugal)
Publisher: Association for Computing Machinery
Published: 2005
Place of publication: New York
Language: eng
Number of pages: 144
Subjects: Formal methods (Computer science) -- Congresses
Genres: Congresses.
Other titles: Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems; Formal Methods for Industrial Critical Systems; Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems.
Notes: "ACM Order Number 592055"--P. ii.

Includes bibliographic references and author index.

Also issued online with additional title: Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems.