International Workshop on Formal Methods for Industrial Critical Systems, Association for Computing Machinery. Special Interest Group on Software Engineering, ESEC-FSE'05, Margaria-Steffen, T., & Massink, M. (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.
Cita Chicago Style (17a ed.)International Workshop on Formal Methods for Industrial Critical Systems, Association for Computing Machinery. Special Interest Group on Software Engineering, ESEC-FSE'05, Tiziana Margaria-Steffen, y Mieke Massink. 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. New York: Association for Computing Machinery, 2005.
Cita MLA (9a ed.)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.
