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/cav/BerdineCIW12.rdf
Josh Berdine et al.: Diagnosing Abstraction Failure for Separation Logic-Based Analyses. (2012) conf/cav/BerdineCIW12 10.1007/978-3-642-31424-7_16 Diagnosing Abstraction Failure for Separation Logic-Based Analyses. 4 Josh Berdine 1 Arlen Cox 2 Samin Ishtiaq 3 Christoph M. Wintersteiger 4 155-173 CAV CAV 2012 2012 provenance information for RDF data of dblp record 'conf/cav/BerdineCIW12' 2019-09-16T15:22:35+0200