1
“... at the 2009 summer school Formal Logical Methods for System Security and Correctness. The topics include...”
Thư viện lưu trữ:
Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
2
3
Những chủ đề:
“...Logics and Meanings of Programs...”
Thư viện lưu trữ:
Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu