检索结果 - "Computer software Verification Congresses."

1

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /

出版 2001

主题: “...Computer software Verification Congresses....”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt