Dijkstra's legacy on program verification
The work
| Title | Dijkstra's legacy on program verification |
|---|---|
| Authors | Reiner Hähnle |
| Type | chapter in a collection |
| 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 |
Where this came from
| How it got here | the agent went looking · found via bibtex |
|---|---|
| First seen | 2026-08-05 |
| Standing | endorsed |
| Approved | 2026-08-08 |
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},
pages = {105--140},
publisher = {Association for Computing Machinery},
}
This record lives at https://refs.drheap.org/hahnle2022dijkstra/ and will keep doing so.