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

D. Spelt, S.J. Even

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    10 Citations (Scopus)
    Original languageUndefined
    Title of host publicationFifth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99)
    Place of PublicationAmsterdam
    Pages375-389
    Publication statusPublished - 20 Mar 1999

    Keywords

    • METIS-119616

    Cite this

    Spelt, D., & Even, S. J. (1999). A theorem prover-bases analysis tool for object-oriented databases. In Fifth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99) (pp. 375-389). Amsterdam.