Original language | English |
---|---|
Place of Publication | EECS Department, University of California, Berkeley |
Publication status | Published - 2014 |
MoE publication type | D4 Published development or research report or study |
From Relational Interfaces to Assume-Guarantee Contract
P. Nuzzo, A. Iannopollo, Stavros Tripakis, A.L. Sangiovanni-Vincentelli
Research output: Working paper › Professional