Pham, Ngoc Hung and Nguyen, Viet Ha and Toshiaki, Aoki and Takuya, Katayama (2012) On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification. IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer, 95-A (9). pp. 1451-1460. ISSN 0916-8508
Full text not available from this repository.
Official URL: http://search.ieice.org/bin/summary.php?id=e95-a_9...
| 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: | 15 Dec 2016 10:20 |
| Last Modified: | 15 Dec 2016 10:20 |
| URI: | http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2041 |
Actions (login required)
 |
View Item |
