No label defined (Q4791830)

From MaRDI portal
scientific article; zbMATH DE number 1863159
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 1863159

    Statements

    author
    John Hatcliff
    0 references
    Matthew B. Dwyer
    0 references
    publication date
    3 February 2003
    0 references
    describes a project that uses
    Java PathFinder
    0 references
    Bandera
    0 references
    veriSoft
    0 references
    SPIN
    0 references
    NuSMV
    0 references
    dSPIN
    0 references

    Identifiers

    zbMATH DE Number
    1863159
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4791830&oldid=28926786"
    Powered by MediaWiki