iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/lpar/CoxCLR15.xml
Arlen Cox Bor-Yuh Evan Chang Huisong Li Xavier Rival Abstract Domains and Solvers for Sets Reasoning. 356-371 2015 LPAR https://doi.org/10.1007/978-3-662-48899-7_25 conf/lpar/2015 db/conf/lpar/lpar2015.html#CoxCLR15