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

D. Spelt, S.J. Even

    Research output: Book/ReportReportAcademic

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

    Publication series

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

    Keywords

    • METIS-118665

    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). Centre for Telematics and Information Technology (CTIT).
    Spelt, D. ; Even, S.J. / A theorem prover-based analysis tool for object-oriented databases. Centre for Telematics and Information Technology (CTIT), 1998. 16 p. (CTIT Technical Report Series; 98-22).
    @book{f3f89e5425124a23ae04b51347bbf525,
    title = "A theorem prover-based analysis tool for object-oriented databases",
    keywords = "METIS-118665",
    author = "D. Spelt and S.J. Even",
    year = "1998",
    language = "Undefined",
    series = "CTIT Technical Report Series",
    publisher = "Centre for Telematics and Information Technology (CTIT)",
    number = "98-22",
    address = "Netherlands",

    }

    Spelt, D & Even, SJ 1998, A theorem prover-based analysis tool for object-oriented databases. CTIT Technical Report Series, no. 98-22, Centre for Telematics and Information Technology (CTIT).

    A theorem prover-based analysis tool for object-oriented databases. / Spelt, D.; Even, S.J.

    Centre for Telematics and Information Technology (CTIT), 1998. 16 p. (CTIT Technical Report Series; No. 98-22).

    Research output: Book/ReportReportAcademic

    TY - BOOK

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

    AU - Spelt, D.

    AU - Even, S.J.

    PY - 1998

    Y1 - 1998

    KW - METIS-118665

    M3 - Report

    T3 - CTIT Technical Report Series

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

    PB - Centre for Telematics and Information Technology (CTIT)

    ER -

    Spelt D, Even SJ. A theorem prover-based analysis tool for object-oriented databases. Centre for Telematics and Information Technology (CTIT), 1998. 16 p. (CTIT Technical Report Series; 98-22).