ICFEM Singapur, Lin, S., Hou, Z., & Mahony, B. (2021). Formal methods and software engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021 : proceedings (Corrected publication.). Springer. https://doi.org/10.1007/978-3-030-63406-3
Chicago-Zitierstil (17. Ausg.)ICFEM Singapur, Shang-Wei Lin, Zhe Hou, und Brendan Mahony. Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021 : Proceedings. Corrected publication. Cham, Switzerland: Springer, 2021. https://doi.org/10.1007/978-3-030-63406-3.
MLA-Zitierstil (9. Ausg.)ICFEM Singapur, et al. Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021 : Proceedings. Corrected publication. Springer, 2021. https://doi.org/10.1007/978-3-030-63406-3.