%0 Journal Article
%@ 0916-8532
%A Pham, Ngoc Hung
%A Nguyen, Viet Ha
%A Toshiaki, Aoki
%A Takuya, Katayama
%D 2010
%F SisLab:2039
%I IEICE
%J IEICE Transactions on Information and Systems
%N 8
%P 2172-2181
%T A Minimized Assumption Generation Method for Component-Based Software Verification
%U https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039/
%V E93-D