%A Hoang Viet Tran
%A Ngoc Hung Pham
%J VNU Journal of Science: Computer Science and Communication Engineering
%T On Locally Strongest Assumption Generation Method for Component-Based Software Verification
%D 2018
%I VNU
%L SisLab3119