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
Lưu vào:
| Tác giả chính: | |
|---|---|
| Định dạng: | Luận án |
| Ngôn ngữ: | other |
| Thông tin xuất bản: |
Đại học Quốc gia Hà Nội
2016
|
| Chủ đề: | |
| Truy cập trực tuyến: | http://repository.vnu.edu.vn/handle/VNU_123/5109 |
| Từ khóa: |
Thêm từ khóa bạn đọc
Không có từ khóa, Hãy là người đầu tiên gắn từ khóa cho biểu ghi này!
|