SpringerLink (Online service), 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 : Imprint: Springer. https://doi.org/10.1007/978-981-99-7584-6
Cytowanie według stylu Chicago (wyd. 17)SpringerLink (Online service), Yi Li, i 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 : Imprint: Springer, 2023. https://doi.org/10.1007/978-981-99-7584-6.
Cytowanie według stylu MLA (wyd. 9)SpringerLink (Online service), 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 : Imprint: Springer, 2023. https://doi.org/10.1007/978-981-99-7584-6.