%0 Journal Article %1 FloydMeaning1967 %A Floyd, Robert W. %D 1967 %J Mathematical aspects of computer science %K invariants %N 19-32 %P 1 %T Assigning meanings to programs %U http://www.cs.ucdavis.edu/~su/teaching/ecs240-s09/readings/FloydMeaning.pdf %V 19

@article{FloydMeaning1967, added-at = {2014-05-05T11:59:07.000+0200}, author = {Floyd, Robert W.}, biburl = {https://www.bibsonomy.org/bibtex/28057fd1daeab2550f9de4a042d76b20a/fibso}, interhash = {bd9dee412b9a403b9fa1f1b2f0032f36}, intrahash = {8057fd1daeab2550f9de4a042d76b20a}, journal = {Mathematical aspects of computer science}, keywords = {invariants}, number = {19-32}, pages = 1, timestamp = {2014-05-05T11:59:07.000+0200}, title = {Assigning meanings to programs}, url = {http://www.cs.ucdavis.edu/~su/teaching/ecs240-s09/readings/FloydMeaning.pdf}, volume = 19, year = 1967 }