Reiner Hähnle. Dijkstra's Legacy on Program Verification. In Krzysztof R. Apt, Tony Hoare, editors, Edsger Wybe Dijkstra: His Life, Work, and Legacy. pages 105-140, ACM / Morgan & Claypool, 2022. [doi]
@incollection{Hahnle22,
title = {Dijkstra's Legacy on Program Verification},
author = {Reiner Hähnle},
year = {2022},
doi = {10.1145/3544585.3544593},
url = {https://doi.org/10.1145/3544585.3544593},
researchr = {https://researchr.org/publication/Hahnle22},
cites = {0},
citedby = {0},
pages = {105-140},
booktitle = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
editor = {Krzysztof R. Apt and Tony Hoare},
publisher = {ACM / Morgan & Claypool},
isbn = {978-1-4503-9773-5},
}