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 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.
Warning: These citations may not always be 100% accurate.