Cite
HARVARD 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. [Online]. Cham : Springer. Available from: http://access.bl.uk/ark:/81055/vdc_100072136945.0x000001