Correctness-by-Construction for Correct and Secure Software Systems
| Titel: | Correctness-by-Construction for Correct and Secure Software Systems / Tobias Runge ; Martin Johns, Ina Schaefer, Reiner Hähnle |
|---|---|
| Verfasser: | |
| Beteiligt: | ; ; |
| Veröffentlicht: | Braunschweig : Technische Universität Braunschweig, 2023 |
| Umfang: | 1 Online-Ressource (274 Seiten) |
| Format: | E-Book |
| Sprache: | Englisch |
| Hochschulschrift: | Dissertation, Braunschweig, Technische Universität Braunschweig, 2023 |
X
Kein Inhaltsverzeichnis verfügbar.