Yu-Fang Chen Edmund M. Clarke Azadeh Farzan Ming-Hsien Tsai Yih-Kuen Tsay Bow-Yaw Wang Automated Assume-Guarantee Reasoning through Implicit Learning. 511-526 2010 CAV http://dx.doi.org/10.1007/978-3-642-14295-6_44 conf/cav/2010 db/conf/cav/cav2010.html#ChenCFTTW10