External Links

    Journal: Formal Asp. Comput.

    Volume 12, Issue 3

    145 -- 146Jeannette M. Wing, Jim Woodcock. The First World Congress on Formal Methods in the Development of Computing Systems
    147 -- 164Heike Wehrheim. Data Abstraction Techniques in the Validation of CSP-OZ Specifications
    165 -- 181Steve Schneider. Abstraction and Testing in CSP
    182 -- 198Michael J. Butler. csp2B: A Practical Approach to Combining CSP and B
    199 -- 209Andrew Martin. Relating Z and First-Order Logic
    runs on