![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 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 | |
| 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 | |
| 1 | Martin Bever, Werner Gaube, Peter C. Lockemann, Heinrich C. Mayr: Construction of Application Systems: Some Aspects of Standardization. ECI 1981: 85-102 |
Selection of 3 from 3 records - Werner Gaube has 3 coauthors
Copyright © 2009-12-24 by Michael Ley (ley@uni-trier.de)