Systems, I. C. o. F. M. f. I. C., Lafuente, A. L., & Mavridou, A. (2021). Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings (1.). Springer Nature.
Chicago Style (17th ed.) CitationSystems, International Conference on Formal Methods for Industrial Critical, Alberto Lluch Lafuente, and Anastasia Mavridou. Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings. 1. Cham: Springer Nature, 2021.
MLA (9th ed.) CitationSystems, International Conference on Formal Methods for Industrial Critical, et al. Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings. 1. Springer Nature, 2021.