Đậ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.
Chicago Style CitationĐậ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％准確.