Nicoletti, S. M., Lopuhaä-Zwakenberg, M., Hahn, E. M. & Stoelinga, M., 3 Mar 2023, Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings. Chechik, M., Katoen, J.-P. & Leucker, M. (eds.). Cham: Springer Nature, p. 199–22123 p. (Lecture Notes in Computer Science; vol. 14000).
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review