Baier, C., Dubslaff, C.,
Wienhöft, P. &
Kiebel, S.,
3 Juni 2023,
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (Hrsg.).
Springer, Cham,
S. 86-103 18 S. (Lecture Notes in Computer Science, Band 13903).
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung