Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings: 10028 (Lecture Notes in Computer Science)
by Roderick Bloem, Eli Arbel
ISBN 13: 9783319490519
Format: Paperback (228 pages) Publisher: Springer Published: 01 Nov 2016
Save for later