eprintid: 3119
rev_number: 7
eprint_status: archive
userid: 304
dir: disk0/00/00/31/19
datestamp: 2018-10-19 06:27:07
lastmod: 2018-10-19 06:27:07
status_changed: 2018-10-19 06:27:07
type: article
metadata_visibility: no_search
creators_name: Tran, Hoang Viet
creators_name: Pham, Ngoc Hung
creators_id: vietth2004@gmail.com
creators_id: hungpn@vnu.edu.vn
title: On Locally Strongest Assumption Generation Method for Component-Based Software Verification
ispublished: inpress
subjects: IT
divisions: fac_fit
date: 2018
date_type: published
publisher: VNU
full_text_status: public
publication: VNU Journal of Science: Computer Science and Communication Engineering
refereed: FALSE
issn: 2588-1086
citation:   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)  
document_url: 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