Flexible Correct-by-Construction Programming
Runge, Tobias 1; Bordis, Tabea
1; Potanin, Alex; Thüm, Thomas; Schaefer, Ina
1
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
1; Potanin, Alex; Thüm, Thomas; Schaefer, Ina
11 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 2023 |
| Sprache | Englisch |
| Identifikator | ISSN: 1860-5974 KITopen-ID: 1000160537 |
| HGF-Programm | 46.23.03 (POF IV, LK 01) Engineering Security for Mobility Systems |
| Erschienen in | Logical Methods in Computer Science |
| Verlag | Logical Methods in Computer Science |
| Band | Volume 19, Issue 2 |
| Heft | 2 |
| Seiten | 16:1 – 16:36 |
| Vorab online veröffentlicht am | 07.06.2023 |
| Nachgewiesen in | Web of Science Dimensions OpenAlex Scopus |