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 |
