%0 Conference Paper %1 conf/iccad/XingLGM22 %A Xing, Yue %A Lu, Huaixi %A Gupta, Aarti %A Malik, Sharad %B ICCAD %D 2022 %E Mitra, Tulika %E Young, Evangeline F. Y. %E Xiong, Jinjun %I ACM %K dblp %P 72:1-72:9 %T Compositional Verification Using a Formal Component and Interface Specification. %U http://dblp.uni-trier.de/db/conf/iccad/iccad2022.html#XingLGM22 %@ 978-1-4503-9217-4

@inproceedings{conf/iccad/XingLGM22, added-at = {2023-09-30T00:00:00.000+0200}, author = {Xing, Yue and Lu, Huaixi and Gupta, Aarti and Malik, Sharad}, biburl = {https://www.bibsonomy.org/bibtex/201a46a14ddb8f9158659f6d26fadd12d/dblp}, booktitle = {ICCAD}, crossref = {conf/iccad/2022}, editor = {Mitra, Tulika and Young, Evangeline F. Y. and Xiong, Jinjun}, ee = {https://ieeexplore.ieee.org/document/10069523}, interhash = {b96c02d520170de474c6b49428947846}, intrahash = {01a46a14ddb8f9158659f6d26fadd12d}, isbn = {978-1-4503-9217-4}, keywords = {dblp}, pages = {72:1-72:9}, publisher = {ACM}, timestamp = {2024-04-09T19:27:32.000+0200}, title = {Compositional Verification Using a Formal Component and Interface Specification.}, url = {http://dblp.uni-trier.de/db/conf/iccad/iccad2022.html#XingLGM22}, year = 2022 }