%0 Journal Article %1 journals/tse/ReynoldsY76 %A Reynolds, Charles %A Yeh, Raymond T. %D 1976 %J IEEE Trans. Software Eng. %K dblp %N 4 %P 244-252 %T Induction as the Basis for Program Verification. %U http://dblp.uni-trier.de/db/journals/tse/tse2.html#ReynoldsY76 %V 2

@article{journals/tse/ReynoldsY76, added-at = {2015-12-10T00:00:00.000+0100}, author = {Reynolds, Charles and Yeh, Raymond T.}, biburl = {https://www.bibsonomy.org/bibtex/2a3133fd2673600c3a73354c5483ab820/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.1976.233829}, interhash = {bdc631512c6e517d752c830221c30def}, intrahash = {a3133fd2673600c3a73354c5483ab820}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 4, pages = {244-252}, timestamp = {2015-12-12T11:52:47.000+0100}, title = {Induction as the Basis for Program Verification.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse2.html#ReynoldsY76}, volume = 2, year = 1976 }