TY  - INPR
ID  - SisLab3119
UR  - https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3119/
A1  - Tran, Hoang Viet
A1  - Pham, Ngoc Hung
Y1  - 2018///
PB  - VNU
JF  - VNU Journal of Science: Computer Science and Communication Engineering
SN  - 2588-1086
TI  - On Locally Strongest Assumption Generation Method for Component-Based Software Verification
AV  - public
ER  -