Tran, Hoang Viet and Pham, Ngoc Hung  (2018) On Locally Strongest Assumption Generation Method for Component-Based Software Verification.  VNU Journal of Science: Computer Science and Communication Engineering .    ISSN 2588-1086    (In Press)