%0 Journal Article %1 journals/cj/LanzaroneO75 %A Lanzarone, Gaetano Aurelio %A Ornaghi, Mario %D 1975 %J Comput. J. %K dblp %N 1 %P 55-62 %T Program Construction by Refinements Preserving Correctness. %U http://dblp.uni-trier.de/db/journals/cj/cj18.html#LanzaroneO75 %V 18

@article{journals/cj/LanzaroneO75, added-at = {2011-06-28T00:00:00.000+0200}, author = {Lanzarone, Gaetano Aurelio and Ornaghi, Mario}, biburl = {https://www.bibsonomy.org/bibtex/29005c0f41354168bd6322eab909cc8e7/dblp}, ee = {http://dx.doi.org/10.1093/comjnl/18.1.55}, interhash = {508451f9fb1154a80e3c02e609298837}, intrahash = {9005c0f41354168bd6322eab909cc8e7}, journal = {Comput. J.}, keywords = {dblp}, number = 1, pages = {55-62}, timestamp = {2011-06-29T16:42:34.000+0200}, title = {Program Construction by Refinements Preserving Correctness.}, url = {http://dblp.uni-trier.de/db/journals/cj/cj18.html#LanzaroneO75}, volume = 18, year = 1975 }