%0 Journal Article %1 journals/cacm/Hoare69 %A Hoare, C. A. R. %D 1969 %J Commun. ACM %K axiomatic semantics %N 10 %P 576-580 %T An Axiomatic Basis for Computer Programming. %U http://dblp.uni-trier.de/db/journals/cacm/cacm12.html#Hoare69 %V 12

@article{journals/cacm/Hoare69, added-at = {2014-04-25T13:21:57.000+0200}, author = {Hoare, C. A. R.}, biburl = {https://www.bibsonomy.org/bibtex/2454ca69c123db0386bff7bd37babec9d/fibso}, description = {dblp}, ee = {http://doi.acm.org/10.1145/363235.363259}, interhash = {03644729cb28f994d99d79e2598b36a5}, intrahash = {454ca69c123db0386bff7bd37babec9d}, journal = {Commun. ACM}, keywords = {axiomatic semantics}, number = 10, pages = {576-580}, timestamp = {2014-04-25T13:21:57.000+0200}, title = {An Axiomatic Basis for Computer Programming.}, url = {http://dblp.uni-trier.de/db/journals/cacm/cacm12.html#Hoare69}, volume = 12, year = 1969 }