International Conference on Formal Engineering Methods Brisbane, Li, Y., & Tahar, S. (2023). Formal methods and software engineering: 24th international conference on formal engineering methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023 : proceedings (1st ed. 2023.). Springer Nature Singapore.
Chicago-Zitierstil (17. Ausg.)International Conference on Formal Engineering Methods Brisbane, Yi Li, und Sofiène Tahar. Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023 : Proceedings. 1st ed. 2023. Singapore: Springer Nature Singapore, 2023.
MLA-Zitierstil (9. Ausg.)International Conference on Formal Engineering Methods Brisbane, et al. Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023 : Proceedings. 1st ed. 2023. Springer Nature Singapore, 2023.