Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Author(s) [non member] | Editor(s) [non member] | Year | Title | Type | |||||
---|---|---|---|---|---|---|---|---|---|
| |||||||||
Bertling, Hubert Ganzinger, Harald Schäfers, Renate Nieuwenhuis, Robert Orejas, Fernando | Hoffmann, Berthold Krieg-Brückner, Bernd | 1993 | Completion Subsystem In: Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System, 460-494 | Part of a Book | |||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
|