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 5 09, 2017 Công nghệ thông tin Kiểm chứng phần mềm Kỹ thuật phần mềm +