Supporting Contexts in Program Refinement

Cite this paper

@article{Nickson1997SupportingCI, title={Supporting Contexts in Program Refinement}, author={Ray Nickson and Ian J. Hayes}, journal={Sci. Comput. Program.}, year={1997}, volume={29}, pages={279-302} }