Cite
APA Citation
Jobstmann, B., & Leino, K. R. M. (Eds.) (2016). Verification, model checking, and abstract interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings. Berlin : Springer. http://access.bl.uk/ark:/81055/vdc_100078044255.0x000001