APA (7th ed.) Citation

International Conference on Formal Methods in Industrial Critical Systems Mailand, Haxthausen, A. E., & Serwe, W. (2024). Formal methods for industrial critical systems: 29th international conference, FMICS 2024, Milan, Italy, September 9-11, 2024, proceedings (1st ed. 2024.). Springer. https://doi.org/10.1007/978-3-031-68150-9

Chicago Style (17th ed.) Citation

International Conference on Formal Methods in Industrial Critical Systems Mailand, Anne Elisabeth Haxthausen, and Wendelin Serwe. Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings. 1st ed. 2024. Cham, Switzerland: Springer, 2024. https://doi.org/10.1007/978-3-031-68150-9.

MLA (9th ed.) Citation

International Conference on Formal Methods in Industrial Critical Systems Mailand, et al. Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings. 1st ed. 2024. Springer, 2024. https://doi.org/10.1007/978-3-031-68150-9.