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

    Distefano, D. S., Katoen, J. P., & Rensink, A. (2000). Towards model checking OCL. In Defining Precise Semantics for UML (satellite workshop of ECOOP 2000) (pp. 0-9). Cannes, France.