Verification, model checking, and abstract interpretation. 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22--24, 2012. Proceedings
scientific article; zbMATH DE number 6011472