Rezultaty - "Computer software Verification"

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 /

Wydane 2001

Hasła przedmiotowe: “...Computer software Verification Congresses....”

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