Tran, Hoang Viet and Le, Chi Luan and Pham, Ngoc Hung (2016) A Strongest Assumption Generation Method for Component-Based Software Verification. In: The 2016 IEEE RIVF International Conference on Computing and Communication Technologies, 7-9 November 2016, Hanoi, Vietnam.