Are Interface Theories Equivalent to Contract Theories?

P. Nuzzo, A. Iannopollo, S. Tripakis, A.L. Sangiovanni-Vincentelli

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

    10 Citations (Scopus)
    Original languageEnglish
    Title of host publicationLausanne, Switzerland on October 19-21, 2014
    Publication statusPublished - 2014
    MoE publication typeA4 Article in a conference publication

    Cite this