Cite
MLA Citation
Barbara Jobstmann et al., editors. Verification, model checking, and abstract interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings. Berlin : Springer, 2016. http://access.bl.uk/ark:/81055/vdc_100078044255.0x000001