Functionality decomposition by compositional correctness preserving transformation

Ed Brinksma, Rom Langerak, Peter J. Broekroelofs

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    5 Citations (Scopus)
    64 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Functionality decomposition by compositional correctness preserving transformation'. Together they form a unique fingerprint.

    Engineering & Materials Science