Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings - Bouajjani, Ahmed.; Monniaux, David. (Theoretical Computer Science and General Issues ;, 2017)