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.

Specification and Refinement in an Integrated Database Application Environment

Klaus-Dieter Schewe, Joachim W. Schmidt, Ingrid Wetzel. Specification and Refinement in an Integrated Database Application Environment. In Søren Prehn, W. J. Toetenel, editors, VDM 91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions. Volume 551 of Lecture Notes in Computer Science, pages 496-510, Springer, 1991.

Authors

Klaus-Dieter Schewe

This author has not been identified. Look up 'Klaus-Dieter Schewe' in Google

Joachim W. Schmidt

This author has not been identified. Look up 'Joachim W. Schmidt' in Google

Ingrid Wetzel

This author has not been identified. Look up 'Ingrid Wetzel' in Google
runs on