Play to Test (Q3434603)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Play to Test
scientific article

    Statements

    title
    Play to Test (English)
    0 references
    author
    Andreas Blass
    0 references
    Lev Nachmanson
    0 references
    Margus Veanes
    0 references
    Yuri Gurevich
    0 references
    publication date
    2 May 2007
    0 references
    describes a project that uses
    Spec#
    0 references
    UniTESK
    0 references
    TorX
    0 references
    AsmL
    0 references
    SpecExplorer
    0 references
    AGEDIS
    0 references
    cites work
    Q4234083
    0 references
    Q5692280
    0 references
    Q4413672
    0 references
    Play to Test
    0 references
    Computer Science Logic
    0 references
    Q4270052
    0 references
    Q4382287
    0 references
    Q4315289
    0 references
    Q5844986
    0 references

    Identifiers

    DOI
    10.1007/11759744_3
    0 references
    zbMATH DE Number
    5148553
    0 references
    OpenAlex ID
    W2145226117
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3434603&oldid=34937896"
    Powered by MediaWiki