Nguyễn, V. T., & Nguyễn, T. T. (2017). Kiểm chứng hình thức cho hệ thống tương tranh sử dụng ngôn ngữ đặc tả CSP # và công cụ pat. Đại học Công nghệ.
Chicago Style CitationNguyễn, Văn Trãi, and Trường Thắng Nguyễn. Kiểm Chứng Hình Thức Cho Hệ Thống Tương Tranh Sử Dụng Ngôn Ngữ đặc Tả CSP # Và Công Cụ Pat. Đại học Công nghệ, 2017.
MLA CitationNguyễn, Văn Trãi, and Trường Thắng Nguyễn. Kiểm Chứng Hình Thức Cho Hệ Thống Tương Tranh Sử Dụng Ngôn Ngữ đặc Tả CSP # Và Công Cụ Pat. Đại học Công nghệ, 2017.
Warning: These citations may not always be 100% accurate.