Data flow in program verification
Nutz, Alexander ; Podelski, Andreas 2020 Universität
- Link zu diesem Datensatz
- https://d-nb.info/1209878453
- Titel
- Data flow in program verification
- Art des Inhalts
- Monographie
- Autor(en)
-
- Nutz, Alexander
- Podelski, Andreas
- Organisation(en)
-
- Albert-Ludwigs-Universität Freiburg (Fakultät für Angewandte Wissenschaften)
- Verlag
- Freiburg : Universität [2020]
- Jahr
- Erscheinungsdatum: 2020
- Zeitliche Einordnung
- Erscheinungsdatum: 2019
- Umfang/Format
- Online-Ressource
- DOI
- 10.6094/UNIFR/165473
- Online
- https://doi.org/10.6094/UNIFR/165473
- Sprache
- eng
- Schlagwörter
- Stand
- 24.12.2025 08:03
- Im Katalog seit
- 07.03.2026