Đậu, Q. T. (2016). Nghiên cứu khả năng chuyển đổi giữa các đặc tả hình thức và ứng dụng trong kiểm chứng phần mềm. Đại học Quốc gia Hà Nội.
استشهاد بنمط شيكاغوĐậu, Quốc Toản. Nghiên Cứu Khả Năng Chuyển đổi Giữa Các đặc Tả Hình Thức Và ứng Dụng Trong Kiểm Chứng Phần Mềm. Đại học Quốc gia Hà Nội, 2016.
MLA استشهادĐậu, Quốc Toản. Nghiên Cứu Khả Năng Chuyển đổi Giữa Các đặc Tả Hình Thức Và ứng Dụng Trong Kiểm Chứng Phần Mềm. Đại học Quốc gia Hà Nội, 2016.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.