Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning about Distributed Systems

Jakob Zwiers, U. Hannemann, W.P. de Roever, Y. Lakhneche

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

    1 Citation (Scopus)
    Original languageUndefined
    Title of host publicationProceedings of Foundations of Software Technology and Theoretical Computer Science 15
    Publication statusPublished - 26 Jan 1995


    • METIS-119275

    Cite this