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.

Modularizing the Formal Description of a Database System

John S. Fitzgerald, Cliff B. Jones. Modularizing the Formal Description of a Database System. In Dines Bjørner, C. A. R. Hoare, Hans Langmaack, editors, VDM 90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings. Volume 428 of Lecture Notes in Computer Science, pages 189-210, Springer, 1990.

Authors

John S. Fitzgerald

This author has not been identified. Look up 'John S. Fitzgerald' in Google

Cliff B. Jones

This author has not been identified. Look up 'Cliff B. Jones' in Google
runs on