SMUML/Suboco 1.10 - an SMT-based UML bounded model checker

Jori Dubrovin

    Research output: Artistic and non-textual formSoftwareScientific

    Original languageEnglish
    Publication statusPublished - 2007
    MoE publication typeI2 ICT applications

    Cite this