iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://doi.org/10.1109/FMCAD.2015.7542257
Compositional verification of procedural programs using horn clauses over integers and arrays | IEEE Conference Publication | IEEE Xplore
