External Links

    Journal: Formal Asp. Comput.

    Volume 13, Issue 2

    93 -- 0John Cooke, B. Tim Denvir. Editorial
    94 -- 110Carsten Sühl. An Overview of the Integrated Formalism RT-Z
    111 -- 127John Derrick, Eerke Boiten. Combining Component Specifications in Object-Z and CSP
    128 -- 141Graeme Smith, Ian J. Hayes. An Introduction to Real-Time Object-Z
    142 -- 160Brendan P. Mahony, Jin Song Dong. Deep Semantic Links of TCSP and Object-Z: TCOZ Approach
    161 -- 186Martin Große-Rhode. Compositional Comparison of Formal Software Specifications Using Transformation Systems
    runs on