Formalization of Database Models

Dines Bjørner, Hans Henrik Løvengreen

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Original languageEnglish
    Title of host publicationFormal Specification and Software Development
    Publication date1982
    Pages379-442
    Publication statusPublished - 1982

    Cite this

    Bjørner, D., & Løvengreen, H. H. (1982). Formalization of Database Models. In Formal Specification and Software Development (pp. 379-442) http://www2.imm.dtu.dk/pubdb/p.php?2042