Title | Translating algebraic specifications to PROLOG programs |
Publication Type | Journal Article |
Year of Publication | 1984 |
Authors | Drosten, K., and H. - D. Ehrich |
Journal | Bericht Nr. 84-08, Institut für Informatik |
Publisher | TU Braunschweig |
Abstract | no |