Trần, Q. N., & Phạm, N. H. (2017). Phương pháp kiểm chứng tính đúng đắn của các biểu đồ tuần tự UML 2.0: Luận văn ThS. Công nghệ thông tin: 60 48 01 03. ĐHCN.

Trần, Quốc Nam, and Ngọc Hùng Phạm. Phương Pháp Kiểm Chứng Tính đúng đắn Của Các Biểu đồ Tuần Tự UML 2.0: Luận Văn ThS. Công Nghệ Thông Tin: 60 48 01 03. ĐHCN, 2017.

Trần, Quốc Nam, and Ngọc Hùng Phạm. Phương Pháp Kiểm Chứng Tính đúng đắn Của Các Biểu đồ Tuần Tự UML 2.0: Luận Văn ThS. Công Nghệ Thông Tin: 60 48 01 03. ĐHCN, 2017.