relation: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2041/
title: On Optimization of 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: 2012
type: Article
type: PeerReviewed
identifier:   Pham, Ngoc Hung and Nguyen, Viet Ha and Toshiaki, Aoki and Takuya, Katayama  (2012) On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification.  IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer, 95-A  (9).   pp. 1451-1460.  ISSN 0916-8508     
relation: http://search.ieice.org/bin/summary.php?id=e95-a_9_1451