External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Wiederfinden zum Wiederverwenden: Rechnergestützter Modul-Nachweis auf der Basis formaler Spezifikationen

Werner Gaube, Peter C. Lockemann, Heinrich C. Mayr. Wiederfinden zum Wiederverwenden: Rechnergestützter Modul-Nachweis auf der Basis formaler Spezifikationen. In Hans-Wilm Wippermann, editor, Software-Architektur und modulare Prgrammierung, Tagung I/1986 des German Chapter of the ACM am 24. und 25.2.1986 in Kaiserslautern. Volume 26 of Berichte des German Chapter of the ACM, pages 66-81, Teubner, 1986.

Authors

Werner Gaube

This author has not been identified. Look up 'Werner Gaube' in Google

Peter C. Lockemann

This author has not been identified. Look up 'Peter C. Lockemann' in Google

Heinrich C. Mayr

This author has not been identified. Look up 'Heinrich C. Mayr' in Google
runs on