Verification of sequential and concurrent programs (Q837527)

From MaRDI portal
Revision as of 14:06, 30 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Verification of sequential and concurrent programs
scientific article

    Statements

    title
    Verification of sequential and concurrent programs (English)
    0 references
    author
    Krzysztof R. Apt
    0 references
    Frank S. de Boer
    0 references
    Ernst-Ruediger Olderog
    0 references
    publication date
    10 September 2009
    0 references

    Identifiers

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