Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani. Decomposing Refinement Proofs Using Assume-Guarantee Reasoning. In Ellen Sentovich, editor, Proceedings of the 2000 IEEE/ACM International Conference on Computer-Aided Design, 2000, San Jose, California, USA, November 5-9, 2000. pages 245-252, IEEE, 2000.
@inproceedings{HenzingerQR00,
title = {Decomposing Refinement Proofs Using Assume-Guarantee Reasoning},
author = {Thomas A. Henzinger and Shaz Qadeer and Sriram K. Rajamani},
year = {2000},
tags = {refinement},
researchr = {https://researchr.org/publication/HenzingerQR00},
cites = {0},
citedby = {0},
pages = {245-252},
booktitle = {Proceedings of the 2000 IEEE/ACM International Conference on Computer-Aided Design, 2000, San Jose, California, USA, November 5-9, 2000},
editor = {Ellen Sentovich},
publisher = {IEEE},
isbn = {0-7803-6448-1},
}