Dijkstra's legacy on program verification
The work
| Authors | Reiner Hähnle |
|---|---|
| Editors | |
| Type | incollection |
| Year | 2022 |
| Citekey | hahnle2022dijkstra |
Where it appeared
| Published in | Edsger Wybe Dijkstra: His Life, Work, and Legacy |
|---|---|
| Publisher | Association for Computing Machinery |
| Pages | 105--140 |
Identifiers
| DOI | 10.1145/3544585.3544593 |
|---|
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-08-05 00:00 UTC |
| Approved by | a person 2026-08-17 08:42 UTC |
Filed under
Cite it as
@incollection{hahnle2022dijkstra,
title = {Dijkstra's legacy on program verification},
author = {Reiner Hähnle},
year = {2022},
booktitle = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
publisher = {Association for Computing Machinery},
pages = {105--140},
doi = {10.1145/3544585.3544593},
}
This record lives at https://refs.drheap.org/hahnle2022dijkstra/ and will keep doing so.