KIT | KIT-Bibliothek | Impressum | Datenschutz

Relational Test Tables – A Practical Specification Language for Evolution and Security

Weigl, Alexander; Ulbrich, Mattias; Cha, Suhyun; Beckert, Bernhard; Vogel-Heuser, Birgit



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 Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page