Visas 1 - 3 av 3 resultat för sökning 'Dillig, Isil', Sökningstid : 0,04s Förfina resultatet
1
Verification, Model Checking, and Abstract Interpretation
av Dillig, Isil, Palsberg, Jens
Publicerad 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Hämta fulltext
Lägg till i favoriter
Sparad:
2
Computer Aided Verification
av Dillig, Isil, Tasiran, Serdar
Publicerad 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Hämta fulltext
Lägg till i favoriter
Sparad:
3
Computer Aided Verification
av Dillig, Isil, Tasiran, Serdar
Publicerad 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Hämta fulltext
Lägg till i favoriter
Sparad:
Sökverktyg: RSS-flöde — Skicka sökningen per e-post