High-Level Verification
| dc.contributor.author | Kundu, Sudipta | |
| dc.date.accessioned | 2019-08-15T07:08:00Z | |
| dc.date.accessioned | 2024-04-22T11:20:58Z | |
| dc.date.available | 2019-08-15T07:08:00Z | |
| dc.date.available | 2024-04-22T11:20:58Z | |
| dc.date.issued | 2011 | |
| dc.identifier.isbn | 978-1-4419-9359-5 | |
| dc.identifier.uri | https://drs.ess.gov.et/handle/12345678/78514 | |
| dc.language.iso | en | en_US |
| dc.publisher | Springer Science | en_US |
| dc.subject | Verification | en_US |
| dc.title | High-Level Verification | en_US |
| dc.type | Book | en_US |