SMUML/canal 1.0.0 - a counterexample analysator for analyzing abstract counterexamples from data abstracted UML models

Vesa Ojala

    Research output: Artistic and non-textual formSoftwareScientific

    Original languageEnglish
    Publication statusPublished - 2007
    MoE publication typeI2 ICT applications

    Cite this