Step-wise Refinement Design Example Using LOTOS

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

    Research output: Contribution to journalArticleProfessional

    Original languageUndefined
    Pages (from-to)-
    Number of pages18
    JournalMemoranda informatica
    Volume90
    Issue number55
    Publication statusPublished - 1990

    Keywords

    • METIS-121878

    Cite this

    Pires, L. F., & de Souza, W. L. (1990). Step-wise Refinement Design Example Using LOTOS. Memoranda informatica, 90(55), -.