Pham, Ngoc Hung and Nguyen, Viet Ha and Toshiaki, Aoki and Takuya, Katayama  (2012) On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification.  IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer, 95-A  (9).   pp. 1451-1460.  ISSN 0916-8508