FM Online, Huisman, M., Păsăreanu, C. S. c. 2. J., & Zhan, N. (2021). Formal methods: 24th International Symposium, FM 2021, virtual event, November 20-26, 2021 : proceedings (1st ed. 2021.). Springer. https://doi.org/10.1007/978-3-030-90870-6
Chicago-Zitierstil (17. Ausg.)FM Online, Marieke Huisman, Corina S. ca. 20./21. Jhd Păsăreanu, und Naijun Zhan. Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021 : Proceedings. 1st ed. 2021. Cham, Switzerland: Springer, 2021. https://doi.org/10.1007/978-3-030-90870-6.
MLA-Zitierstil (9. Ausg.)FM Online, et al. Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021 : Proceedings. 1st ed. 2021. Springer, 2021. https://doi.org/10.1007/978-3-030-90870-6.