Tran, Hoang Viet and Pham, Ngoc Hung and Nguyen, Viet Ha  (2019) ON LOCALLY MINIMUM AND STRONGEST ASSUMPTION GENERATION METHOD FOR COMPONENT-BASED SOFTWARE VERIFICATION.  IEICE Transactions on Information and Systems .    ISSN 0916-8532    (In Press)