%0 Journal Article %1 journals/cj/PandyaJ86 %A Pandya, Paritosh K. %A Joseph, Mathai %D 1986 %J Comput. J. %K dblp %N 6 %P 531-537 %T A Structure-Directed Total Correctness Proof Rule for Recursive Procedure Calls. %U http://dblp.uni-trier.de/db/journals/cj/cj29.html#PandyaJ86 %V 29

@article{journals/cj/PandyaJ86, added-at = {2011-06-28T00:00:00.000+0200}, author = {Pandya, Paritosh K. and Joseph, Mathai}, biburl = {https://www.bibsonomy.org/bibtex/22ec761f77020774870caac2d0c7f20e2/dblp}, ee = {http://dx.doi.org/10.1093/comjnl/29.6.531}, interhash = {4a881113c8871068057e4ad80ff8b016}, intrahash = {2ec761f77020774870caac2d0c7f20e2}, journal = {Comput. J.}, keywords = {dblp}, number = 6, pages = {531-537}, timestamp = {2011-06-29T16:43:30.000+0200}, title = {A Structure-Directed Total Correctness Proof Rule for Recursive Procedure Calls.}, url = {http://dblp.uni-trier.de/db/journals/cj/cj29.html#PandyaJ86}, volume = 29, year = 1986 }