Pham, Ngoc Hung and Nguyen, Viet Ha and Aoki, Toshiaki and Katayama, T. (2012) An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification. In: 2012 IEEE RIVF International Conference on Computing and Communication Technologies, Research, Innovation, and Vision for the Future (RIVF), February 27 - March 1, 2012, Ho Chi Minh city.