Are interface theories equivalent to contract theories?
| Title | Are interface theories equivalent to contract theories? |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli |
| Conference Name | Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014 |
| Keywords | 1329759 |
| URL | https://doi.org/10.1109/MEMCOD.2014.6961848 |
| DOI | 10.1109/MEMCOD.2014.6961848 |
| Citation Key | DBLP:conf/memocode/NuzzoITS14 |