A Program Refinement Tool

Cite this paper

@article{Carrington1998APR, title={A Program Refinement Tool}, author={David A. Carrington and Ian J. Hayes and Ray Nickson and Geoffrey Watson and Jim Welsh}, journal={Formal Aspects of Computing}, year={1998}, volume={10}, pages={97-124} }