Tài liệu : Verification, model checking, and abstract interpretation
Tác giả : Dirk Beyer;Damien Zufferey
Năm xuất bản : 2020
Nhà Xuất bản : Springer
Từ khóa :
Số trang : 484 tr.
Xem tài liệu 1
Tải file Verification, model checking, and abstract interpretation

---