00847nam a2200289 4500 DLU110129921 ##20111223 DLU eng eng uk Pierro, Alessandra Di. Program analysis probably counts / Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky. Abstract interpretation Program analysis Semantics Hankin, Chris. Wiklicky, Herbert. The Computer Journal Vol. 53, no. 6 (July 2010), p. 871-880 Phòng Tạp chí -- Trung tâm Thông tin - Thư viện Trường Đại học Đà Lạt DLU True Trương Bảo Trâm Anh G A BB Thư viện Trường Đại học Đà Lạt