Projetos de sistemas atraves de refinamentos successivos utilizando a TDF LOTOS

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publicationSimpioso Brasileiro de redes de computadores 1991
    Place of PublicationAnais
    Pages295-312
    Number of pages18
    Publication statusPublished - 1 Sep 1991

    Keywords

    • METIS-119490

    Cite this