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-Zitierstil (17. Ausg.)International Conference on Formal Methods for Industrial Critical Systems Warschau, Jan Friso Groote, und 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-Zitierstil (9. Ausg.)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.