Item Details

Print View

Fmics '05 [electronic resource]: 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

editors, Tiziana Margaria & Mieke Massink ; sponsored by ACM SIGSOFT
Format
EBook; Book; Online
Published
New York : Association for Computing Machinery, c2005.
Language
English
Variant Title
Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
Related Title
Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems.
ISBN
1595931481
Description
Mode of access: World wide Web.
Notes
  • "ACM Order Number 592055"--P. ii.
  • Includes bibliographic references and author index.
Technical Details
  • Access in Virgo Classic
  • Staff View

Availability

Read Online