Hardware and software: verification and testing [electronic resource] : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 : proceedings / Hana Chockler, Alan J. Hu (eds.)
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Haifa Verification Conference, HVC 2008, held in Haifa, Israel in October 2008. The 12 revised full papers and 4 tool papers presented together with 6 invited lectures were carefully reviewed and selec...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Other title: | HVC 2008. |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin :
Springer,
©2009.
|
| Series: | Lecture notes in computer science ;
5394. |
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.76.V47 I58 2009
|
|---|---|
| QA76.76.V47 I58 2009 | Available |