%0 Conference Paper %1 conf/ifip/Burstall74 %A Burstall, Rod M. %B IFIP Congress %D 1974 %K dblp %P 308-312 %T Program Proving as Hand Simulation with a Little Induction. %U http://dblp.uni-trier.de/db/conf/ifip/ifip74.html#Burstall74

@inproceedings{conf/ifip/Burstall74, added-at = {2002-01-03T00:00:00.000+0100}, author = {Burstall, Rod M.}, biburl = {https://www.bibsonomy.org/bibtex/295f64d103e7825f231139528d5faae01/dblp}, booktitle = {IFIP Congress}, date = {2002-01-03}, description = {dblp}, interhash = {01867490207f5009e6faf40d50134c40}, intrahash = {95f64d103e7825f231139528d5faae01}, keywords = {dblp}, pages = {308-312}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Program Proving as Hand Simulation with a Little Induction.}, url = {http://dblp.uni-trier.de/db/conf/ifip/ifip74.html#Burstall74}, year = 1974 }