Pham, Ngoc Hung and Nguyen, Viet Ha and Toshiaki, Aoki and Takuya, Katayama (2010) A Minimized Assumption Generation Method for Component-Based Software Verification. IEICE Transactions on Information and Systems, E93-D (8). pp. 2172-2181. ISSN 0916-8532
Full text not available from this repository.| Item Type: | Article |
|---|---|
| Subjects: | Information Technology (IT) ISI-indexed journals |
| Divisions: | Faculty of Information Technology (FIT) |
| Depositing User: | Phạm Ng�c Hùng |
| Date Deposited: | 14 Dec 2016 10:33 |
| Last Modified: | 14 Dec 2016 10:33 |
| URI: | http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039 |
Actions (login required)
 |
View Item |
