eprintid: 2039
rev_number: 7
eprint_status: archive
userid: 304
dir: disk0/00/00/20/39
datestamp: 2016-12-14 10:33:01
lastmod: 2016-12-14 10:33:01
status_changed: 2016-12-14 10:33:01
type: article
metadata_visibility: show
creators_name: Pham, Ngoc Hung
creators_name: Nguyen, Viet Ha
creators_name: Toshiaki, Aoki
creators_name: Takuya, Katayama
creators_id: hungpn@vnu.edu.vn
creators_id: hanv@vnu.edu.vn
title: A Minimized Assumption Generation Method for Component-Based Software Verification
ispublished: pub
subjects: IT
subjects: isi
divisions: fac_fit
date: 2010-08
date_type: published
publisher: IEICE
full_text_status: none
publication: IEICE Transactions on Information and Systems
volume: E93-D
number: 8
pagerange: 2172-2181
refereed: TRUE
issn: 0916-8532
citation:   Pham, Ngoc Hung and Nguyen, Viet Ha and Toshiaki, Aoki and Takuya, Katayama  (2010) A Minimized Assumption Generation Method for Component-Based Software Verification.  IEICE Transactions on Information and Systems, E93-D  (8).   pp. 2172-2181.  ISSN 0916-8532