Theorem Prover-based Analysis of Transactions on Object-Oriented Databases (Extended Abstract)

D. Spelt, S.J. Even

    Research output: Book/ReportReportAcademic

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

    Publication series

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

    Keywords

    • METIS-118663

    Cite this