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.
استشهاد بنمط شيكاغوNguyễn, Thị Loan, و 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, و 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%.