Cite
MLA Citation
Nir Piterman, editor. Hardware and software: verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings. Cham : Springer, 2015. http://access.bl.uk/ark:/81055/vdc_100072136945.0x000001