Assessing the Success and Impact of Hoare’s Logic

Autor:	Ernst-Rüdiger Olderog, Krzysztof R. Apt
Rok vydání:	2021
Předmět:	Computer science
Zdroj:	Theories of Programming ISBN: 9781450387286 Theories of Programming
DOI:	10.1145/3477355.3477359
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1c53b94ccf106b24a61ce42389ccb591 https://doi.org/10.1145/3477355.3477359 Zobrazit plný text záznamu