| Autor(en): | Chakraborty, Samarjit; Bringmann, Oliver | |
| Tübinger Autor(en): |
|
|
| Erschienen in: | 2026 Forum on Specification & Design Languages (FDL) (2026-10-14), Bd. | |
| Verlagsangabe: | IEEE | |
| Sprache: | Englisch | |
| Referenz zum Volltext: | https://doi.org/10.1109/FDL71572.2026.11725316 | |
| ISBN: | 979-8-3195-3997-7 | |
| DDC-Klassifikation: | 004 - Informatik | |
| Dokumentart: | Wissenschaftlicher Artikel | |
| Zur Langanzeige |