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/fmcad/UrdahlSBWK10.xml
Joakim Urdahl Dominik Stoffel Jörg Bormann Markus Wedler Wolfgang Kunz Path predicate abstraction by complete interval property checking. 207-215 2010 FMCAD https://ieeexplore.ieee.org/document/5770951/ conf/fmcad/2010 db/conf/fmcad/fmcad2010.html#UrdahlSBWK10