TY  - JOUR
ID  - SisLab2041
UR  - http://search.ieice.org/bin/summary.php?id=e95-a_9_1451
IS  - 9
A1  - Pham, Ngoc Hung
A1  - Nguyen, Viet Ha
A1  - Toshiaki, Aoki
A1  - Takuya, Katayama
Y1  - 2012///
PB  - IEICE
JF  - IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer
VL  - 95-A
SN  - 0916-8508
TI  - On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification
SP  - 1451
AV  - none
EP  - 1460
ER  -