Step-wise refinement design example using LOTOS

L.F. Pires, W.L. de Souza

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    Original languageUndefined
    Title of host publicationFormal Description Techniques III
    Place of PublicationAmsterdam
    PublisherNorth Holland
    Pages255-262
    Number of pages8
    Publication statusPublished - 1991

    Keywords

    • METIS-118917

    Cite this

    Pires, L. F., & de Souza, W. L. (1991). Step-wise refinement design example using LOTOS. In Formal Description Techniques III (pp. 255-262). Amsterdam: North Holland.