%0 Journal Article %1 floyd-meaning %A Floyd, R. W. %D 1967 %J Mathematical aspects of computer science %K 1967, mathematical} {1743c, %N 19-32 %P 1 %T Assigning meanings to programs %V 19

@article{floyd-meaning, added-at = {2010-08-25T08:47:38.000+0200}, author = {Floyd, R. W.}, biburl = {https://www.bibsonomy.org/bibtex/28391dde2791130e24b58ce6ff4c8e1a2/miguel.pagano}, citeulike-article-id = {{5946445}}, interhash = {bd9dee412b9a403b9fa1f1b2f0032f36}, intrahash = {8391dde2791130e24b58ce6ff4c8e1a2}, journal = {{Mathematical aspects of computer science}}, keywords = {1967, mathematical} {1743c,}, number = {{19-32}}, pages = 1, posted-at = {{2009-10-15 22:07:24}}, priority = {{2}}, timestamp = {2010-08-25T08:47:45.000+0200}, title = {{Assigning meanings to programs}}, volume = {{19}}, year = {{1967}} }