Building Data Base Management Systems Through Formal Specification

Erich J. Neuhold, Th. Olnhoff. Building Data Base Management Systems Through Formal Specification. In Josep Díaz, Isidro Ramos, editors, Formalization of Programming Concepts, International Colloquium, Peniscola, Spain, April 19-25, 1981, Proceedings. Volume 107 of Lecture Notes in Computer Science, pages 169-209, Springer, 1981.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.