Pham Ngoc Hung Viet Ha Nguyen Toshiaki Aoki Takuya Katayama An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification. 1-6 2012 RIVF http://dx.doi.org/10.1109/rivf.2012.6169862 conf/rivf/2012 db/conf/rivf/rivf2012.html#HungNAK12