%0 Journal Article %1 journals/acta/ClintH72 %A Clint, Maurice %A Hoare, C. A. R. %D 1972 %J Acta Inf. %K dblp %P 214-224 %T Program Proving: Jumps and Functions. %U http://dblp.uni-trier.de/db/journals/acta/acta1.html#ClintH72 %V 1

@article{journals/acta/ClintH72, added-at = {2011-01-11T00:00:00.000+0100}, author = {Clint, Maurice and Hoare, C. A. R.}, biburl = {https://www.bibsonomy.org/bibtex/23fbc5dae9b356bad9fc60282f780ea63/dblp}, ee = {http://dx.doi.org/10.1007/BF00288686}, interhash = {571b18d4d820b6adb503403eaee66450}, intrahash = {3fbc5dae9b356bad9fc60282f780ea63}, journal = {Acta Inf.}, keywords = {dblp}, pages = {214-224}, timestamp = {2011-01-12T11:32:06.000+0100}, title = {Program Proving: Jumps and Functions.}, url = {http://dblp.uni-trier.de/db/journals/acta/acta1.html#ClintH72}, volume = 1, year = 1972 }