Formal Methods : 25th International Symposium, FM 2023, lübeck, Germany, March 6-10, 2023, Proceedings

MLA

Chechik, Marsha, Joost-Pieter Katoen, and Martin Leucker. Formal Methods : 25th International Symposium, Fm 2023, Lübeck, Germany, March 6-10, 2023, Proceedings. Cham: Springer International Publishing AG, 2023.

APA

Chechik, M., Katoen, J., & Leucker, M. (2023). Formal Methods : 25th International Symposium, FM 2023, lübeck, Germany, March 6-10, 2023, Proceedings. Cham: Springer International Publishing AG.

Chicago

Chechik, Marsha., Joost-Pieter Katoen, and Martin Leucker. Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings. Cham: Springer International Publishing AG, 2023.