APA (7th ed.) Citation

International Workshop on Formal Methods for Industrial Critical Systems, Massink, M. C., & Margaria-Steffen, T. C. (2005). 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.

Chicago Style (17th ed.) Citation

International Workshop on Formal Methods for Industrial Critical Systems, Mieke Contributor Massink, and Tiziana Contributor Margaria-Steffen. 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. [Place of publication not identified]: Association for Computing Machinery, 2005.

MLA (9th ed.) Citation

International Workshop on Formal Methods for Industrial Critical Systems, et al. 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, 2005.