Verification, Model Checking, and Abstract Interpretation
Lưu vào:
Tác giả chính: | Bouajjani, Ahmed, Monniaux, David |
---|---|
Định dạng: | Sách |
Ngôn ngữ: | English |
Thông tin xuất bản: |
Springer International Publishing
2020
|
Chủ đề: | |
Truy cập trực tuyến: | http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83097 |
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!
|
Tài liệu tương tự
-
Verification, Model Checking, and Abstract Interpretation
Thông tin tác giả:: Dillig, Isil, và những người khác
Thông tin xuất bản: (2020) -
Verification, Model Checking, and Abstract Interpretation
Thông tin xuất bản: (2020) -
Verification, Model Checking, and Abstract Interpretation
Thông tin tác giả:: Logozzo, Francesco, và những người khác
Thông tin xuất bản: (2020) -
Verification, Model Checking, and Abstract Interpretation
Thông tin tác giả:: Cook, Byron, và những người khác
Thông tin xuất bản: (2020) -
Verification, Model Checking, and Abstract Interpretation
Thông tin tác giả:: Beyer, Dirk, và những người khác
Thông tin xuất bản: (2020)