APA (7th ed.) Citation

FMICS Online, Beek, M. H. t., & Ničković, D. (2024). Formal methods for industrial critical systems: 25th international conference, FMICS 2020, Vienna, Austria, September 2-3, 2020 : proceedings (Corrected publication.). Springer. https://doi.org/10.1007/978-3-030-58298-2

Chicago Style (17th ed.) Citation

FMICS Online, Maurice H. ter Beek, and Dejan Ničković. Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020 : Proceedings. Corrected publication. Cham, Switzerland: Springer, 2024. https://doi.org/10.1007/978-3-030-58298-2.

MLA (9th ed.) Citation

FMICS Online, et al. Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020 : Proceedings. Corrected publication. Springer, 2024. https://doi.org/10.1007/978-3-030-58298-2.