%0 Journal Article %1 journals/toplas/Apt81 %A Apt, Krzysztof R. %D 1981 %J ACM Trans. Program. Lang. Syst. %K dblp %N 4 %P 431-483 %T Ten Years of Hoare's Logic: A Survey - Part 1. %U http://dblp.uni-trier.de/db/journals/toplas/toplas3.html#Apt81 %V 3

@article{journals/toplas/Apt81, added-at = {2018-11-06T00:00:00.000+0100}, author = {Apt, Krzysztof R.}, biburl = {https://www.bibsonomy.org/bibtex/2692aa882c07963a3b5587c21aa419054/dblp}, ee = {https://doi.org/10.1145/357146.357150}, interhash = {359b74bca02a615bf68f8ddb15ff26ed}, intrahash = {692aa882c07963a3b5587c21aa419054}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, number = 4, pages = {431-483}, timestamp = {2018-11-07T12:36:23.000+0100}, title = {Ten Years of Hoare's Logic: A Survey - Part 1.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas3.html#Apt81}, volume = 3, year = 1981 }