%0 Journal Article %1 journals/afp/PohjolaMT23 %A Pohjola, Johannes Åman %A Myreen, Magnus O. %A Tanaka, Miki %D 2023 %J Arch. Formal Proofs %K dblp %T A Hoare Logic for Diverging Programs. %U http://dblp.uni-trier.de/db/journals/afp/afp2023.html#PohjolaMT23 %V 2023

@article{journals/afp/PohjolaMT23, added-at = {2023-04-18T00:00:00.000+0200}, author = {Pohjola, Johannes Åman and Myreen, Magnus O. and Tanaka, Miki}, biburl = {https://www.bibsonomy.org/bibtex/2daf51c4f2a8d8a4ad8cb611e8618624d/dblp}, ee = {https://www.isa-afp.org/entries/HoareForDivergence.html}, interhash = {c0196e4505da1fcbd993d71b8d7c8cbc}, intrahash = {daf51c4f2a8d8a4ad8cb611e8618624d}, journal = {Arch. Formal Proofs}, keywords = {dblp}, timestamp = {2024-04-09T04:37:02.000+0200}, title = {A Hoare Logic for Diverging Programs.}, url = {http://dblp.uni-trier.de/db/journals/afp/afp2023.html#PohjolaMT23}, volume = 2023, year = 2023 }