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à phân tích hệ thống – Symposium on Automated Technology for Verification and Analysis (ATVA) 2020. […]