Verification, model checking, and abstract interpretation. 17th international conference, VMCAI 2016, St. Petersburg, FL, USA, January 17--19, 2016. Proceedings
scientific article; zbMATH DE number 6526692