Functionality decomposition by compositional correctness preserving transformation

    Research output: Book/ReportReportAcademic

    Original languageEnglish
    Place of PublicationEnschede
    PublisherUniversity of Twente
    Number of pages14
    Publication statusPublished - 1995

    Publication series

    NameMemoranda Informatica
    PublisherUniversity of Twente
    No.95-13
    ISSN (Print)0924-3755
    NameTIOS
    PublisherUniversity of Twente, Tele-Informatics and Open Systems Group
    No.95-07

    Cite this