Tran, Hoang Viet and Pham, Ngoc Hung (2018) On Locally Strongest Assumption Generation Method for Component-Based Software Verification. VNU Journal of Science: Computer Science and Communication Engineering . ISSN 2588-1086 (In Press)
 | There is a more recent version of this item available. |
![[img]](https://eprints.uet.vnu.edu.vn/eprints/style/images/fileicons/application_pdf.png) |
PDF
Download (873kB) |
| Item Type: | Article |
|---|---|
| Subjects: | Information Technology (IT) |
| Divisions: | Faculty of Information Technology (FIT) |
| Depositing User: | Phạm Ng�c Hùng |
| Date Deposited: | 19 Oct 2018 06:27 |
| Last Modified: | 19 Oct 2018 06:27 |
| URI: | http://eprints.uet.vnu.edu.vn/eprints/id/eprint/3119 |
Available Versions of this Item
- On Locally Strongest Assumption Generation Method for Component-Based Software Verification. (deposited 19 Oct 2018 06:27) [Currently Displayed]
Actions (login required)
 |
View Item |
