Tran, Hoang-Viet, VNU University of Engineering and Technology, Viet Nam

• Vol 34 No 2 (2018) - Articles
  On Locally Strongest Assumption Generation Method for Component-Based Software Verification
  Abstract  PDF