Functionality decomposition by compositional correstness preserving transformation

E. Brinksma, R. Langerak, P. Broekroelofs

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    5 Citations (Scopus)
    Original languageEnglish
    Title of host publicationComputer Aided Verification (Proceedings 5th International Conference, CAV'93, Elounda, Crete, Greece, June 28-July 1, 1993)
    EditorsC. Courcoubetis
    PublisherSpringer
    ISBN (Print)3-540-56922-7
    DOIs
    Publication statusPublished - 1993

    Publication series

    NameLecture Notes in Computer Science
    Volume697
    ISSN (Print)0302-9743

    Cite this