Nguyễn, T. L., & Đặng, V. H. (2016). Kiểm chứng tính đúng đắn hệ thống tính toán của chương trình bằng kiểm duyệt mô hình. Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội.
Chicago Style CitationNguyễn, Thị Loan, and Văn Hưng Đặng. Kiểm Chứng Tính đúng đắn Hệ Thống Tính Toán Của Chương Trình Bằng Kiểm Duyệt Mô Hình. Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội, 2016.
MLA引文Nguyễn, Thị Loan, and Văn Hưng Đặng. Kiểm Chứng Tính đúng đắn Hệ Thống Tính Toán Của Chương Trình Bằng Kiểm Duyệt Mô Hình. Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội, 2016.
警告:這些引文格式不一定是100%准確.