Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings

MLA

ter Beek, Maurice H, and Rosemary Monahan. Integrated Formal Methods : 17th International Conference, Ifm 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings. Cham: Springer International Publishing AG, 2022.

APA

ter Beek, M. H, & Monahan, R. (2022). Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings. Cham: Springer International Publishing AG.

Chicago

ter Beek, Maurice H., and Rosemary Monahan. Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings. Cham: Springer International Publishing AG, 2022.