APA (7th ed.) Citation

International Workshop on Formal Methods for Industrial Critical Systems L'Aquila, Italy, Cofer, D., & Fantechi, A. (2009). Formal methods for industrial critical systems: 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers. Springer. https://doi.org/10.1007/978-3-642-03240-0

Chicago Style (17th ed.) Citation

International Workshop on Formal Methods for Industrial Critical Systems L'Aquila, Italy, Darren Cofer, and Alessandro Fantechi. Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : Revised Selected Papers. Berlin: Springer, 2009. https://doi.org/10.1007/978-3-642-03240-0.

MLA (9th ed.) Citation

International Workshop on Formal Methods for Industrial Critical Systems L'Aquila, Italy, et al. Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : Revised Selected Papers. Springer, 2009. https://doi.org/10.1007/978-3-642-03240-0.