relation: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3119/
title: On Locally Strongest Assumption Generation Method for Component-Based Software Verification
creator: Tran, Hoang Viet
creator: Pham, Ngoc Hung
subject: Information Technology (IT)
publisher: VNU
date: 2018
type: Article
type: NonPeerReviewed
format: application/pdf
language: en
identifier: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3119/1/A%20Local%20Strongest%20Assumption%20Generation%20Method%20for%20CBS%20Verification_v7_gui_thay_Hung.pdf
identifier:   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)