%0 Journal Article %1 apt_81_ten %A Apt, Krzysztof R. %C New York, NY, USA %D 1981 %I ACM %J ACM Trans. Program. Lang. Syst. %K 1981 hoare years_later %N 4 %P 431--483 %R 10.1145/357146.357150 %T Ten Years of Hoare's Logic: A Survey---Part I %U http://dx.doi.org/10.1145/357146.357150 %V 3 %X Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

@article{apt_81_ten, abstract = {Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.}, added-at = {2009-02-11T22:17:47.000+0100}, address = {New York, NY, USA}, author = {Apt, Krzysztof R.}, biburl = {https://www.bibsonomy.org/bibtex/292b1d4f67475ee361b7a359c41d097bd/leonardo}, citeulike-article-id = {3179274}, doi = {10.1145/357146.357150}, interhash = {7ab6244813b2aa6831c105d666810d3a}, intrahash = {92b1d4f67475ee361b7a359c41d097bd}, issn = {0164-0925}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {1981 hoare years_later}, number = 4, pages = {431--483}, posted-at = {2008-09-01 15:32:36}, priority = {2}, publisher = {ACM}, timestamp = {2009-02-11T22:17:47.000+0100}, title = {Ten Years of Hoare's Logic: A Survey---Part I}, url = {http://dx.doi.org/10.1145/357146.357150}, volume = 3, year = 1981 }