Pham Ngoc Hung Toshiaki Aoki Takuya Katayama A Minimized Assumption Generation Method for Component-Based Software Verification. 277-291 2009 ICTAC http://dx.doi.org/10.1007/978-3-642-03466-4_18 conf/ictac/2009 db/conf/ictac/ictac2009.html#HungAK09