relation: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/34/
title: An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification
creator: Pham, Ngoc Hung
creator: Nguyen, Viet Ha
creator: Aoki, Toshiaki
creator: Katayama, T.
subject: Information Technology (IT)
date: 2012-03-01
type: Conference or Workshop Item
type: PeerReviewed
identifier:   Pham, Ngoc Hung and Nguyen, Viet Ha and Aoki, Toshiaki and Katayama, T.  (2012) An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification.  In: 2012 IEEE RIVF International Conference on Computing and Communication Technologies.