Tran, Hoang-Viet, AND Hung, Pham. " On Locally Strongest Assumption Generation Method for Component-Based Software Verification" VNU Journal of Science: Computer Science and Communication Engineering [Online], Volume 34 Number 2 (25 December 2018)