%0 Journal Article %1 Hoare_69 %A Hoare, C. A. R. %D 1969 %J Communications of the ACM %K imported %N 10 %P 576--583 %T An Axiomatic Basis for Computer Programming %V 12

@article{Hoare_69, added-at = {2020-11-16T00:29:59.000+0100}, author = {Hoare, C. A. R.}, biburl = {https://www.bibsonomy.org/bibtex/2ee16ac5ca62edaef168b24745174e9cf/derek-jones}, data = {NA}, interhash = {03644729cb28f994d99d79e2598b36a5}, intrahash = {ee16ac5ca62edaef168b24745174e9cf}, journal = {Communications of the ACM}, keywords = {imported}, month = oct, number = 10, online = {Hoare-CACM-69.pdf}, pages = {576--583}, timestamp = {2020-11-16T00:29:59.000+0100}, title = {An Axiomatic Basis for Computer Programming}, volume = 12, year = 1969 }