TY  - JOUR
ID  - SisLab2039
UR  - https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039/
IS  - 8
A1  - Pham, Ngoc Hung
A1  - Nguyen, Viet Ha
A1  - Toshiaki, Aoki
A1  - Takuya, Katayama
Y1  - 2010/08//
PB  - IEICE
JF  - IEICE Transactions on Information and Systems
VL  - E93-D
SN  - 0916-8532
TI  - A Minimized Assumption Generation Method for Component-Based Software Verification
SP  - 2172
AV  - none
EP  - 2181
ER  -