Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
Publikationstyp | Proceedingsbeitrag |
Publikationsmonat/-jahr | 10.2020 |
Sprache | Englisch |
Identifikator | ISBN: 978-1-4503-7071-4 KITopen-ID: 1000127213 |
Erschienen in | FormaliSE '20: 8th International Conference on Formal Methods in Software Engineering, Seoul Republic of Korea, October, 2020 |
Veranstaltung | 8th International Conference on Software Engineering and Formal Methods (FormaliSE 2020), Seoul, Südkorea, 07.10.2020 |
Verlag | Association for Computing Machinery (ACM) |
Seiten | 77–86 |
Vorab online veröffentlicht am | 12.09.2020 |
Nachgewiesen in | Dimensions Scopus |
Relationen in KITopen |