External Links

    Journal: Formal Asp. Comput.

    Volume 15, Issue 1

    1 -- 27John Derrick, Graeme Smith. Structural Refinement of Systems Specified in Object-Z and CSP
    28 -- 47Marcel Oliveira, Ana Cavalcanti, Jim Woodcock. ArcAngel: a Tactic Language for Refinement
    48 -- 83Martin C. Henson, Steve Reeves. A Logic for Schema-Based Program Development
    84 -- 99Jifeng He, Qiwen Xu. Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs
    runs on