Request for: FMICS '05 : proceedings of the Tenth Int

 Staff view

You must be logged in to Tag Records

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.

Book Cover
Names: Margaria-Steffen, Tiziana, | Massink, Mieke.
Published: New York : Association for Computing Machinery, c2005.
Topics: Formal methods (Computer science) - Congresses.
Genres: Electronic books.
Tags: Add

Spaces will separate tags.
Use quotes for multi-word tags.

You must first login before requesting items. Additional help requesting materials for Benedictine borrowers.