Cite
HARVARD Citation
Jobstmann, B. et al. (eds.) (2016) Verification, model checking, and abstract interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings. [Online]. Berlin : Springer. Available from: http://access.bl.uk/ark:/81055/vdc_100078044255.0x000001