Hardware and Software: Verification and Testing: 5th Inteational Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, .. / Programming and Software Engineering)
Hardcover: 169 pages
Publisher: Springer (February 10, 2011)
Language: English
ISBN-10: 364219236X