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