On the Refinement and Simulation of Data Types and Processes.

Christie Bolton, Jim Davies, Jim Woodcock

Browse the full IFM paper archive.