SMUML/Uboco 1.10 - a translator from UML models to NuSMV programs

Jori Dubrovin

    Research output: Artistic and non-textual formSoftwareScientific

    Original languageEnglish
    Publication statusPublished - 2007
    MoE publication typeI2 ICT software

    Cite this