| dc.contributor.author | Pham, Hung Ngoc | |
| dc.date.accessioned | 2011-04-21T14:16:07Z | |
| dc.date.available | 2011-04-21T14:16:07Z | |
| dc.date.issued | 2010 | |
| dc.identifier.uri | http://hdl.handle.net/123456789/3394 | |
| dc.language.iso | en | vi |
| dc.title | Assume-guarantee tools for component-based software verification | vi |
| Files | Size | Format | View |
|---|---|---|---|
| 2.85.pdf | 48.47Kb |
View/ |