Theory refinement for program verification (Q1680264)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Theory refinement for program verification
scientific article

    Statements

    title
    Theory refinement for program verification (English)
    0 references
    author
    Antti E. J. Hyvärinen
    0 references
    Sepideh Asadi
    0 references
    Karine Even-Mendoza
    0 references
    Grigory Fedyukovich
    0 references
    Hana Chockler
    0 references
    Natasha Sharygina
    0 references
    publication date
    15 November 2017
    0 references

    Identifiers

    zbMATH DE Number
    6807236
    0 references
    Wikidata QID
    Q57699293
    0 references
    OpenAlex ID
    W2742433495
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1680264&oldid=37898703"
    Powered by MediaWiki