Functionality Decomposition by Compositional Correctness Preserving Transformation

    Research output: Contribution to journalArticleAcademicpeer-review

    Original languageUndefined
    Pages (from-to)2-13
    JournalSouth African computer journal
    Issue number13
    Publication statusPublished - 1995

    Keywords

    • METIS-118798

    Cite this

    @article{ed7a3b6e7ad444e686e86f503e3e38f8,
    title = "Functionality Decomposition by Compositional Correctness Preserving Transformation",
    keywords = "METIS-118798",
    author = "Hendrik Brinksma and Romanus Langerak",
    year = "1995",
    language = "Undefined",
    pages = "2--13",
    journal = "South African computer journal",
    issn = "1015-7999",
    publisher = "South African Institute of Computer Scientists and Information Technologists",
    number = "13",

    }

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

    In: South African computer journal, No. 13, 1995, p. 2-13.

    Research output: Contribution to journalArticleAcademicpeer-review

    TY - JOUR

    T1 - Functionality Decomposition by Compositional Correctness Preserving Transformation

    AU - Brinksma, Hendrik

    AU - Langerak, Romanus

    PY - 1995

    Y1 - 1995

    KW - METIS-118798

    M3 - Article

    SP - 2

    EP - 13

    JO - South African computer journal

    JF - South African computer journal

    SN - 1015-7999

    IS - 13

    ER -