Verification, model checking, and abstract interpretation 18th international conference, VMCAI 2017, Paris, France, January 15-17, 2017 : proceedings - Bouajjani, Ahmed (Springer, 2017)