%A Ngoc Hung Pham
%A Viet Ha Nguyen
%A Aoki Toshiaki
%A Katayama Takuya
%J IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer
%T On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification
%N 9
%P 1451-1460
%V 95-A
%D 2012
%I IEICE
%L SisLab2041