Verification, Model Checking, and Abstract Interpretation
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Định dạng: | eBook |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
Springer Nature,
2024.
|
| Truy cập trực tuyến: | Access eBook |
| Các nhãn: |
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|