%0 Journal Article %1 journals/scp/Hayes96 %A Hayes, Ian J. %D 1996 %J Sci. Comput. Program. %K dblp %N 2 %P 175-184 %T Supporting Module Reuse in Refinement. %U http://dblp.uni-trier.de/db/journals/scp/scp27.html#Hayes96 %V 27

@article{journals/scp/Hayes96, added-at = {2021-02-17T00:00:00.000+0100}, author = {Hayes, Ian J.}, biburl = {https://www.bibsonomy.org/bibtex/2d1fb5cd509f089e376465403280ace2e/dblp}, ee = {https://doi.org/10.1016/0167-6423(96)00006-8}, interhash = {d5341faca5667fe670d9e1bda806b613}, intrahash = {d1fb5cd509f089e376465403280ace2e}, journal = {Sci. Comput. Program.}, keywords = {dblp}, number = 2, pages = {175-184}, timestamp = {2024-04-09T05:29:52.000+0200}, title = {Supporting Module Reuse in Refinement.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp27.html#Hayes96}, volume = 27, year = 1996 }