Tran, Hoang Viet and Pham, Ngoc Hung (2018) On Locally Strongest Assumption Generation Method for Component-Based Software Verification. VNU Journal of Science: Computer Science and Communication Engineering, 34 (2). pp. 16-32. ISSN 2588-1086