| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsdatum | 12.04.2026 |
| Sprache | Englisch |
| Identifikator | ISBN: 979-8-4007-2478-7 KITopen-ID: 1000196031 |
| Erschienen in | Proceedings of the IEEE/ACM 14th International Conference on Formal Methods in Software Engineering |
| Veranstaltung | 14th International Conference on Formal Methods in Software Engineering (FormaliSE 2026), Rio de Janeiro, Brasilien, 12.04.2026 – 13.04.2026 |
| Verlag | Association for Computing Machinery (ACM) |
| Seiten | 46 - 56 |
| Externe Relationen | Siehe auch |
| Nachgewiesen in | OpenAlex Scopus |