Retrieval in a Module Library Using Formal Specifications: Preliminary Search Using Syntactic Properties - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Werner Gaube, Heinrich C. Mayr, Peter C. Lockemann. Retrieval in a Module Library Using Formal Specifications: Preliminary Search Using Syntactic Properties. In B. F. Caviness, editor, EUROCAL 85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions. Volume 204 of Lecture Notes in Computer Science, pages 181-196, Springer, 1985.

This author has not been identified. Look up 'Werner Gaube' in GoogleThis author has not been identified. Look up 'Heinrich C. Mayr' in GoogleThis author has not been identified. Look up 'Peter C. Lockemann' in Google

runs on WebDSL