Product Description
ISBN: 9783319262864
TITLE: Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings : 9434
AUTHOR: Nir Piterman
PUBLISHER: Springer International Publishing AG
PUBLISHER DATE: 27 Oct 2015

