Formalization of Database Models



TypeBook [Chapter]
Book titleFormal Specification and Software Development
Editors
Year1982    pp. 379-442
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering