Tran, H., & 		Hung, P.
2018 Dec 25.  On Locally Strongest Assumption Generation Method for Component-Based Software Verification. VNU Journal of Science: Computer Science and Communication Engineering. [Online] 34:2