Verification, model checking, and abstract interpretation. 16th international conference, VMCAI 2015, Mumbai, India, January 12--14, 2015. Proceedings
scientific article; zbMATH DE number 6382621