%0 Journal Article %1 journals/fac/CarringtonHNWW98 %A Carrington, David A. %A Hayes, Ian J. %A Nickson, Ray %A Watson, Geoffrey %A Welsh, Jim %D 1998 %J Formal Asp. Comput. %K %N 2 %P 97-124 %T A Program Refinement Tool. %U http://dblp.uni-trier.de/db/journals/fac/fac10.html#CarringtonHNWW98 %V 10

@article{journals/fac/CarringtonHNWW98, added-at = {2023-12-13T01:02:47.000+0100}, author = {Carrington, David A. and Hayes, Ian J. and Nickson, Ray and Watson, Geoffrey and Welsh, Jim}, biburl = {https://www.bibsonomy.org/bibtex/26d9b4e9cce9fba88b1864d91e25f928f/admin}, ee = {http://dx.doi.org/10.1007/s001650050006}, interhash = {6c0fe322e0e7b59439cec660481d36f4}, intrahash = {6d9b4e9cce9fba88b1864d91e25f928f}, journal = {Formal Asp. Comput.}, keywords = {}, number = 2, pages = {97-124}, timestamp = {2023-12-13T01:02:47.000+0100}, title = {A Program Refinement Tool.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac10.html#CarringtonHNWW98}, volume = 10, year = 1998 }