Luong, Thanh Nhan and Truong, Ninh Thuan  (2016) Phương pháp kiểm chứng các tính chất an ninh của phần mềm.  In: SW4PHD: the 2016 Scientific Workshop for PhD Students, 26 March 2016, Hanoi.