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
    Publication statusPublished - 20 Mar 1999


    • METIS-119616

    Cite this