Towards model checking OCL

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

    Original languageUndefined
    Title of host publicationDefining Precise Semantics for UML (satellite workshop of ECOOP 2000)
    Place of PublicationCannes, France
    Pages0-9
    Number of pages10
    Publication statusPublished - 21 Feb 2000

    Keywords

    • METIS-119634

    Cite this