%0 Conference Paper %1 conf/icse/ReynoldsY76 %A Reynolds, Charles %A Yeh, Raymond T. %B ICSE %D 1976 %E Yeh, Raymond T. %E Ramamoorthy, C. V. %I IEEE Computer Society %K dblp %P 389 %T Induction as the Basis for Program Verification (Abstract). %U http://dblp.uni-trier.de/db/conf/icse/icse76.html#ReynoldsY76

@inproceedings{conf/icse/ReynoldsY76, added-at = {2012-05-14T00:00:00.000+0200}, author = {Reynolds, Charles and Yeh, Raymond T.}, biburl = {https://www.bibsonomy.org/bibtex/202cc1c9b6bcfaaeee3b5a5caf47ca922/dblp}, booktitle = {ICSE}, crossref = {conf/icse/1976}, editor = {Yeh, Raymond T. and Ramamoorthy, C. V.}, ee = {http://dl.acm.org/citation.cfm?id=807707}, interhash = {502fd2fb704627293a9cc08501f8e52a}, intrahash = {02cc1c9b6bcfaaeee3b5a5caf47ca922}, keywords = {dblp}, pages = 389, publisher = {IEEE Computer Society}, timestamp = {2012-05-15T11:49:51.000+0200}, title = {Induction as the Basis for Program Verification (Abstract).}, url = {http://dblp.uni-trier.de/db/conf/icse/icse76.html#ReynoldsY76}, year = 1976 }