APA (7th ed.) Citation

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 Style (17th ed.) Citation

International Conference on Formal Engineering Methods Brisbane, Yi Li, and 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 (9th ed.) Citation

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.