A Survey of Verification Techniques for Parallel Programs

Howard Barringer

    Research output: Book/Report › Book › peer-review

    Original languageEnglish
    PublisherSpringer Nature
    ISBN (Print)3-540-15239-3
    Publication statusPublished - 1985

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer

    Access to Document

    Cite this