Baier, C., Dubslaff, C.,
Wienhöft, P. &
Kiebel, S.,
3 Jun 2023,
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (eds.).
Springer, Cham,
p. 86-103 18 p. (Lecture Notes in Computer Science, Vol. 13903).
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review