Original language | English (US) |
---|---|
Publisher | Institute for Programming Languages and Information Systems, Technical University of Braunschweig |
Place of Publication | Braunschweig, Germany |
State | Published - Nov 1989 |
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