APA (7th ed.) Citation

International Conference on Formal Methods for Industrial Critical Systems Warschau, Groote, J. F., & Huisman, M. (2022). Formal methods for industrial critical systems: 27th international conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, proceedings. Springer. https://doi.org/10.1007/978-3-031-15008-1

Chicago Style (17th ed.) Citation

International Conference on Formal Methods for Industrial Critical Systems Warschau, Jan Friso Groote, and Marieke Huisman. Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings. Cham, Switzerland: Springer, 2022. https://doi.org/10.1007/978-3-031-15008-1.

MLA (9th ed.) Citation

International Conference on Formal Methods for Industrial Critical Systems Warschau, et al. Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings. Springer, 2022. https://doi.org/10.1007/978-3-031-15008-1.