Jing Yu María Jesús Garzarán Marc Snir Techniques for Efficient Software Checking. 16-31 2007 LCPC http://dx.doi.org/10.1007/978-3-540-85261-2_2 conf/lcpc/2007 db/conf/lcpc/lcpc2007.html#YuGS07