ATVA

   Từ ngày 21 – 23/10, Khoa Công nghệ thông tin (Trường Đại học Công nghệ, Đại học Quốc gia Hà Nội) đã tổ chức Hội nghị chuyên đề quốc tế về các phương pháp tự động kiểm chứng và …