%0 Journal Article
%@ 0916-8508
%A Pham, Ngoc Hung
%A Nguyen, Viet Ha
%A Toshiaki, Aoki
%A Takuya, Katayama
%D 2012
%F SisLab:2041
%I IEICE
%J IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer
%N 9
%P 1451-1460
%T On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification
%U https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2041/
%V 95-A