Functionality Decomposition by Compositional Correctness Preserving Transformation

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    4 Citations (Scopus)
    Original languageUndefined
    Title of host publicationComputer Aided Verification, Lecture Notes in Computer Science 679
    PublisherSpringer
    Pages371-384
    Number of pages14
    Publication statusPublished - 1993

    Keywords

    • METIS-118928

    Cite this

    Brinksma, H., Langerak, R., & Broekroelofs, P. J. (1993). Functionality Decomposition by Compositional Correctness Preserving Transformation. In Computer Aided Verification, Lecture Notes in Computer Science 679 (pp. 371-384). Springer.
    Brinksma, Hendrik ; Langerak, Romanus ; Broekroelofs, P.J. / Functionality Decomposition by Compositional Correctness Preserving Transformation. Computer Aided Verification, Lecture Notes in Computer Science 679. Springer, 1993. pp. 371-384
    @inbook{e54cadf67fa8452aa583787ec86777e7,
    title = "Functionality Decomposition by Compositional Correctness Preserving Transformation",
    keywords = "METIS-118928",
    author = "Hendrik Brinksma and Romanus Langerak and P.J. Broekroelofs",
    year = "1993",
    language = "Undefined",
    pages = "371--384",
    booktitle = "Computer Aided Verification, Lecture Notes in Computer Science 679",
    publisher = "Springer",

    }

    Brinksma, H, Langerak, R & Broekroelofs, PJ 1993, Functionality Decomposition by Compositional Correctness Preserving Transformation. in Computer Aided Verification, Lecture Notes in Computer Science 679. Springer, pp. 371-384.

    Functionality Decomposition by Compositional Correctness Preserving Transformation. / Brinksma, Hendrik; Langerak, Romanus; Broekroelofs, P.J.

    Computer Aided Verification, Lecture Notes in Computer Science 679. Springer, 1993. p. 371-384.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    TY - CHAP

    T1 - Functionality Decomposition by Compositional Correctness Preserving Transformation

    AU - Brinksma, Hendrik

    AU - Langerak, Romanus

    AU - Broekroelofs, P.J.

    PY - 1993

    Y1 - 1993

    KW - METIS-118928

    M3 - Chapter

    SP - 371

    EP - 384

    BT - Computer Aided Verification, Lecture Notes in Computer Science 679

    PB - Springer

    ER -

    Brinksma H, Langerak R, Broekroelofs PJ. Functionality Decomposition by Compositional Correctness Preserving Transformation. In Computer Aided Verification, Lecture Notes in Computer Science 679. Springer. 1993. p. 371-384