Henzinger, Thomas A, Shaz Qadeer, and Sriram Rajamani. “Decomposing Refinement Proofs Using Assume-Guarantee Reasoning.”https://doi.org/10.1109/ICCAD.2000.896481__In Proceedings of the 2000 International Conference on Computer-Aided Design, 245–52. IEEE, 2000.https://doi.org/10.1109/ICCAD.2000.896481 .
LibreCat: https://research-explorer.ista.ac.at/record/4483
DOI: 10.1109/ICCAD.2000.896481