MOPS: A System for the Computer-Aided Verification of Programs Written in a Sublanguage of Modula-2 (in German)

Torsten Suel, J Merker

    Research output: Other contribution

    Original languageEnglish (US)
    PublisherInstitute for Programming Languages and Information Systems, Technical University of Braunschweig
    Place of PublicationBraunschweig, Germany
    StatePublished - Nov 1989

    Cite this

    Suel, T., & Merker, J. (1989, Nov). MOPS: A System for the Computer-Aided Verification of Programs Written in a Sublanguage of Modula-2 (in German). Braunschweig, Germany: Institute for Programming Languages and Information Systems, Technical University of Braunschweig.

    MOPS: A System for the Computer-Aided Verification of Programs Written in a Sublanguage of Modula-2 (in German). / Suel, Torsten; Merker, J.

    Braunschweig, Germany : Institute for Programming Languages and Information Systems, Technical University of Braunschweig. 1989, .

    Research output: Other contribution

    Suel, T & Merker, J 1989, MOPS: A System for the Computer-Aided Verification of Programs Written in a Sublanguage of Modula-2 (in German). Institute for Programming Languages and Information Systems, Technical University of Braunschweig, Braunschweig, Germany.
    Suel, Torsten ; Merker, J. / MOPS: A System for the Computer-Aided Verification of Programs Written in a Sublanguage of Modula-2 (in German). 1989. Braunschweig, Germany : Institute for Programming Languages and Information Systems, Technical University of Braunschweig.
    @misc{31ceada155954db89589becc8d96b56c,
    title = "MOPS: A System for the Computer-Aided Verification of Programs Written in a Sublanguage of Modula-2 (in German)",
    author = "Torsten Suel and J Merker",
    year = "1989",
    month = "11",
    language = "English (US)",
    publisher = "Institute for Programming Languages and Information Systems, Technical University of Braunschweig",
    type = "Other",

    }

    TY - GEN

    T1 - MOPS: A System for the Computer-Aided Verification of Programs Written in a Sublanguage of Modula-2 (in German)

    AU - Suel, Torsten

    AU - Merker, J

    PY - 1989/11

    Y1 - 1989/11

    M3 - Other contribution

    PB - Institute for Programming Languages and Information Systems, Technical University of Braunschweig

    CY - Braunschweig, Germany

    ER -