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