Formal Methods and Software Engineering : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings

MLA

Riesco, Adrian, and Min Zhang. Formal Methods and Software Engineering : 23rd International Conference On Formal Engineering Methods, Icfem 2022, Madrid, Spain, October 24-27, 2022, Proceedings. Cham: Springer International Publishing AG, 2022.

APA

Riesco, A., & Zhang, M. (2022). Formal Methods and Software Engineering : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings. Cham: Springer International Publishing AG.

Chicago

Riesco, Adrian., and Min Zhang. Formal Methods and Software Engineering : 23rd International Conference On Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings. Cham: Springer International Publishing AG, 2022.