%A Ngoc Hung Pham
%A Viet Ha Nguyen
%A Aoki Toshiaki
%A Katayama Takuya
%J IEICE Transactions on Information and Systems
%T A Minimized Assumption Generation Method for Component-Based Software Verification
%N 8
%P 2172-2181
%V E93-D
%D 2010
%I IEICE
%L SisLab2039