Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings

MLA

Lin, Zhe Hou, and Brendan Mahony. Formal Methods and Software Engineering: 22nd International Conference On Formal Engineering Methods, Icfem 2020, Singapore, Singapore, March 1–3, 2021, Proceedings. Springer International Publishing, 2020.

APA

Lin, L., Hou, Z., & Mahony, B. (2020). Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings. Springer International Publishing.

Chicago

Lin, Zhe Hou, and Brendan Mahony. Formal Methods and Software Engineering: 22nd International Conference On Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings. : Springer International Publishing, 2020.