%0 Book Section %1 books/mc/21/AptO21 %A Apt, Krzysztof R. %A Olderog, Ernst-Rüdiger %B Theories of Programming %D 2021 %E Jones, Cliff B. %E Misra, Jayadev %I ACM / Morgan & Claypool %K dblp %P 41-76 %T Assessing the Success and Impact of Hoare's Logic. %U http://dblp.uni-trier.de/db/books/collections/JM2021.html#AptO21 %V 39 %@ 978-1-4503-8728-6

@incollection{books/mc/21/AptO21, added-at = {2021-10-05T00:00:00.000+0200}, author = {Apt, Krzysztof R. and Olderog, Ernst-Rüdiger}, biburl = {https://www.bibsonomy.org/bibtex/2fa3537db2ca3c493e7cf6ab22c210c90/dblp}, booktitle = {Theories of Programming}, crossref = {books/mc/JM2021}, editor = {Jones, Cliff B. and Misra, Jayadev}, ee = {https://doi.org/10.1145/3477355.3477359}, interhash = {18bd227e03c6b3d5248f8fd56d6c743b}, intrahash = {fa3537db2ca3c493e7cf6ab22c210c90}, isbn = {978-1-4503-8728-6}, keywords = {dblp}, pages = {41-76}, publisher = {ACM / Morgan & Claypool}, series = {ACM Books}, timestamp = {2024-04-09T07:51:34.000+0200}, title = {Assessing the Success and Impact of Hoare's Logic.}, url = {http://dblp.uni-trier.de/db/books/collections/JM2021.html#AptO21}, volume = 39, year = 2021 }