Nghiên cứu khả năng chuyển đổi giữa các đặc tả hình thức và ứng dụng trong kiểm chứng phần mềm

Thông tin tác giả: Đậu, Quốc Toản
Thông tin xuất bản: Đại học Quốc gia Hà Nội 2016