From Relational Interfaces to Assume-Guarantee Contract

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

    Research output: Working paperProfessional

    Original languageEnglish
    Place of PublicationEECS Department, University of California, Berkeley
    Publication statusPublished - 2014
    MoE publication typeD4 Published development or research report or study

    Cite this