Structural Refinement of Systems Specified in Object-Z and CSP John DerrickGraeme Smith OriginalPaper Pages: 1 - 27
ArcAngel: a Tactic Language for Refinement Marcel OliveiraAna CavalcantiJim Woodcock OriginalPaper Pages: 28 - 47
A Logic for Schema-Based Program Development Martin C. HensonSteve Reeves OriginalPaper Pages: 48 - 83
Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs He JifengXu Qiwen OriginalPaper Pages: 84 - 99