relation: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039/
title: A Minimized Assumption Generation Method for Component-Based Software Verification
creator: Pham, Ngoc Hung
creator: Nguyen, Viet Ha
creator: Toshiaki, Aoki
creator: Takuya, Katayama
subject: Information Technology (IT)
subject: ISI-indexed journals
publisher: IEICE
date: 2010-08
type: Article
type: PeerReviewed
identifier:   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