Ngôn ngữ Tiếng ViệtChuyên ngành: Bảo đảm Toán học cho MT&HTTT/Cơ sở toán cho tin họcTên đề tài: Phân tích chương trình tĩnhTập thể hướng dẫn: TS. Nguyễn Trường Thắng, PGS. TS. Lê Trọng VĩnhNăm bắt đầu: 2013Bậc đào tạo: Tiến sĩ
