Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised ... Notes in Computer Science, Band 6504)

Verification

von: Sharon Barner · Ian Harris · Daniel Kroening · Orna Raz

Taschenbuch

ISBN-13: 978-3-642-19582-2

ISBN-10: 3-642-19582-2

Springer · 2011