Specification and Refinement in an Integrated Database Application Environment.

Klaus-Dieter Schewe, Joachim W. Schmidt, Ingrid Wetzel

Browse the full FM paper archive.