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