Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings - Bouajjani, Ahmed; Monniaux, David (Springer International Publishing : Imprint: Springer, 2017)