Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=1209878453
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/1209878453 |
Titel | Data flow in program verification |
Person(en) |
Nutz, Alexander (Verfasser) Podelski, Andreas (Akademischer Betreuer) |
Organisation(en) | Albert-Ludwigs-Universität Freiburg. Fakultät für Angewandte Wissenschaften (Grad-verleihende Institution) |
Verlag | Freiburg : Universität |
Zeitliche Einordnung | Erscheinungsdatum: 2020 |
Umfang/Format | Online-Ressource (pdf) |
Hochschulschrift | Dissertation, Universität Freiburg, 2019 |
Persistent Identifier |
URN: urn:nbn:de:bsz:25-freidok-1654737 DOI: 10.6094/UNIFR/165473 |
URL | https://freidok.uni-freiburg.de/data/165473 (kostenfrei zugänglich) |
Sprache(n) | Englisch (eng) |
Schlagwörter | Verifikation ; Programmierung ; Formaler Beweis ; Software |
DDC-Notation | 005.14 (maschinell ermittelte DDC-Kurznotation) |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |
