External Links

    Journal: Formal Asp. Comput.

    Volume 1, Issue 1

    5 -- 18Martyn Thomas. Development Methods for Trusted Computer Systems
    19 -- 84Roland Carl Backhouse, Paul Chisholm. Do-It-Yourself Type Theory
    85 -- 114Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George. The RAISE Language, Method and Tools
    115 -- 135C. A. Middelburg. VVSL: A Language for Structured VDM Specifications
    runs on