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

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

Bibliographic Details
Main Author: International Workshop on Formal Methods for Industrial Critical Systems (corporate author, -)
Corporate Authors: International Workshop on Formal Methods for Industrial Critical Systems Corporate Author (corporate author), ACM Sigsoft Content Provider (content provider)
Other Authors: Massink, Mieke Contributor (contributor), Margaria-Steffen, Tiziana Contributor
Format: eBook
Language:Inglés
Published: [Place of publication not identified] Association for Computing Machinery 2005
Series:ACM Conferences
Subjects:
Formal methods (Computer science) > Congresses
Engineering & Applied Sciences
Computer Science
See on Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009712870706719
Description
Item Description:Bibliographic Level Mode of Issuance: Monograph
Physical Description:1 online resource (152 p.;)

Similar Items