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 |
| Bemerkung: |
In: Die Lizenz gilt nicht für die angehängten Artikel, außer sie sind explizit gekennzeichnet
|
Correctness-by-Construction for Correct and Secure Software Systems / Runge, Tobias
HEB509386601