%0 Conference Paper %1 conf/memocode/YuIS23 %A Yu, Sheng-Jung %A Incer, Inigo %A Sangiovanni-Vincentelli, Alberto L. %B MEMOCODE %D 2023 %E von Hanxleden, Reinhard %E Edwards, Stephen A. %E Brandt, Jens %E Zhu, Qi %I ACM / IEEE %K dblp %P 111-121 %T Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts. %U http://dblp.uni-trier.de/db/conf/memocode/memocode2023.html#YuIS23 %@ 979-8-4007-0318-8

@inproceedings{conf/memocode/YuIS23, added-at = {2023-12-02T00:00:00.000+0100}, author = {Yu, Sheng-Jung and Incer, Inigo and Sangiovanni-Vincentelli, Alberto L.}, biburl = {https://www.bibsonomy.org/bibtex/241a5ff977f680e0dc01e5af94bc152ad/dblp}, booktitle = {MEMOCODE}, crossref = {conf/memocode/2023}, editor = {von Hanxleden, Reinhard and Edwards, Stephen A. and Brandt, Jens and Zhu, Qi}, ee = {https://ieeexplore.ieee.org/document/10316205}, interhash = {ff4d3c5ab69c18ec607728bb1fa53d8b}, intrahash = {41a5ff977f680e0dc01e5af94bc152ad}, isbn = {979-8-4007-0318-8}, keywords = {dblp}, pages = {111-121}, publisher = {ACM / IEEE}, timestamp = {2024-04-09T10:15:52.000+0200}, title = {Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts.}, url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2023.html#YuIS23}, year = 2023 }