Verification, model checking, and abstract interpretation. 18th international conference, VMCAI 2017, Paris, France, January 15--17, 2017. Proceedings
scientific article; zbMATH DE number 6674006