| |
| 1986 | ||
|---|---|---|
| 3 | Werner Gaube, Peter C. Lockemann, Heinrich C. Mayr: Wiederfinden zum Wiederverwenden: Rechnergestützter Modul-Nachweis auf der Basis formaler Spezifikationen. Software-Architektur 1986: 66-81 | |
| 1985 | ||
| 2 | Werner Gaube, Heinrich C. Mayr, Peter C. Lockemann: Retrieval in a Module Library Using Formal Specifications: Preliminary Search Using Syntactic Properties. European Conference on Computer Algebra (2) 1985: 181-196 | |
| 1981 | ||
| 1 | Martin Bever, Werner Gaube, Peter C. Lockemann, Heinrich C. Mayr: Construction of Application Systems: Some Aspects of Standardization. ECI 1981: 85-102 | |
| 1 | Martin Bever | [1] |
| 2 | Peter C. Lockemann | [1] [2] [3] |
| 3 | Heinrich C. Mayr | [1] [2] [3] |