%0 Conference Paper %1 conf/memocode/NuzzoITS14 %A Nuzzo, Pierluigi %A Iannopollo, Antonio %A Tripakis, Stavros %A Sangiovanni-Vincentelli, Alberto L. %B MEMOCODE %D 2014 %I IEEE %K %P 104-113 %T Are interface theories equivalent to contract theories? %U http://dblp.uni-trier.de/db/conf/memocode/memocode2014.html#NuzzoITS14

@inproceedings{conf/memocode/NuzzoITS14, added-at = {2023-12-12T22:28:44.000+0100}, author = {Nuzzo, Pierluigi and Iannopollo, Antonio and Tripakis, Stavros and Sangiovanni-Vincentelli, Alberto L.}, biburl = {https://www.bibsonomy.org/bibtex/2ccaf6d49c92198e046900d93be27a8c8/admin}, booktitle = {MEMOCODE}, crossref = {conf/memocode/2014}, ee = {https://doi.org/10.1109/MEMCOD.2014.6961848}, interhash = {4aaf323a51d7b876dab2ce9225b1fd36}, intrahash = {ccaf6d49c92198e046900d93be27a8c8}, keywords = {}, pages = {104-113}, publisher = {IEEE}, timestamp = {2023-12-12T22:28:44.000+0100}, title = {Are interface theories equivalent to contract theories?}, url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2014.html#NuzzoITS14}, year = 2014 }