 |
|
|
 |  |  Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006This book constitutes the thoroughly refereed post-proceedings of the Second International Haifa Verification Conference, HVC 2006, held in Haifa, Israel, in October 2006.
The 15 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 33 submissions. The papers are organized in three topical... |  |  |
|
|
|
Result Page: Previous 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 Next |