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