Formal Methods and Software Engineering : 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings

MLA

Li, Yi, 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. Singapore: Springer Singapore Pte. Limited, 2023.

APA

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. Singapore: Springer Singapore Pte. Limited.

Chicago

Li, Yi., 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. Singapore: Springer Singapore Pte. Limited, 2023.