Verification, model checking, and abstract interpretation. 14th international conference, VMCAI 2013, Rome, Italy, January 20--22, 2013. Proceedings
scientific article; zbMATH DE number 6363293