Product Description
ISBN: 9783319490519
TITLE: Hardware and Software: Verification and Testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings : 10028
AUTHOR: Roderick Bloem
PUBLISHER: Springer International Publishing AG
PUBLISHER DATE: 1 Nov 2016

