Step-wise Refinement Design Example Using LOTOS

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Original languageUndefined
    Title of host publicationFORTE'90
    Place of PublicationMadrid
    Pages289-306
    Number of pages18
    Publication statusPublished - 1 Nov 1990

    Keywords

    • METIS-119508

    Cite this