Bui, Anh Tu and Truong, Ninh Thuan (2016) Kiểm chứng phần mềm dựa trên phân tích chương trình. In: SW4PHD: the 2016 Scientific Workshop for PhD Students, 26 March 2016, Hanoi.