iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://doi.org/10.1109/ICSE.2004.1317443
Assume-guarantee verification of source code with design-level assumptions | IEEE Conference Publication | IEEE Xplore
