A theorem prover-based analysis tool for object-oriented databases

D. Spelt, S.J. Even

    Research output: Book/ReportReportAcademic

    Original languageEnglish
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages16
    Publication statusPublished - 1998

    Publication series

    NameCTIT Technical Report Series
    PublisherCTIT
    No.98-22
    ISSN (Print)1381-3625

    Cite this

    Spelt, D., & Even, S. J. (1998). A theorem prover-based analysis tool for object-oriented databases. (CTIT Technical Report Series; No. 98-22). Enschede: Centre for Telematics and Information Technology (CTIT).