Towards a Model-Based Refinement Process for Contractual State Machines.

Lishan Harbird, Andy Galloway, Richard F. Paige

Browse the full ISORC paper archive.