Proving the correctness of a code generator specification using term rewriting techniques
K.H. Buth, B. Wenzel
Bok Engelsk 1987 Karl-Heinz Buth
Utgitt | Kiel : Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität , 1987
|
---|---|
Omfang | 87 s.
|
Emner |