Step-wise Refinement Design Example Using LOTOS

    Research output: Book/ReportReportProfessional

    Original languageEnglish
    Place of PublicationEnschede
    PublisherUniversiteit Twente, Faculteit Informatica
    Number of pages18
    Publication statusPublished - 1990

    Publication series

    NameMemoranda informatica
    PublisherUniversiteit Twente, Faculteit Informatica
    No.90-55
    ISSN (Print)0924-3755

    Cite this