Le, Chi Luan and Tran, Hoang Viet and Pham, Ngoc Hung (2017) On Implementation of the Assumption Generation Method for Component-Based Software Verification. In: The 9th Asian Conference on Intelligent Information and Database Systems, 3-5 April 2017, Kanazawa, Japan.