vUML: A Tool for Verifying UML Models

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

    Original languageUndefined/Unknown
    Title of host publicationThe 14th IEEE International Conference on Automated Software Engineering
    PublisherIEEE Computer Society
    Pages255–258
    ISBN (Print)0-7695-0415-9
    DOIs
    Publication statusPublished - 1999
    MoE publication typeA4 Article in a conference publication
    Eventconference; 1999-10-12; 1999-10-15 - 14th IEEE International Conference on Automated Software Engineering Cocoa Beach, Florida
    Duration: 12 Oct 199915 Oct 1999

    Conference

    Conferenceconference; 1999-10-12; 1999-10-15
    Period12/10/9915/10/99

    Cite this