%0 Journal Article
%@ 2588-1086
%A Tran, Hoang Viet
%A Pham, Ngoc Hung
%D 2018
%F SisLab:3119
%I VNU
%J VNU Journal of Science: Computer Science and Communication Engineering
%T On Locally Strongest Assumption Generation Method for Component-Based Software Verification
%U https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3119/