Decomposing refinement proofs using assume-guarantee reasoning
T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Proceedings of the 2000 International Conference on Computer-Aided Design, IEEE, 2000, pp. 245–252.
LibreCat: https://research-explorer.ista.ac.at/record/4483
DOI: 10.1109/ICCAD.2000.896481