Niehage, Mathis; Hartmanns, Arnd; Remke, Anne
Research article in edited proceedings (conference)
Book title: MEMOCODE '21: Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20-22, 2021
Release year: 2021
ISBN: 978-1-4503-9127-6
Language in which the publication is written: English
Event: Virtual Event, China