Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings (Lecture Notes in Computer Science)
by Valeria Bertacco, Axel Legay
ISBN 13: 9783319030760
Format: Paperback (388 pages) Publisher: Springer Published: 31 Oct 2013
Save for later