Toon 1 - 2 resultaten van 2 Voor zoekopdracht 'Podelski, Andreas', zoektijd: 0,06s Verfijn jouw resultaten
1
Static Analysis
door Podelski, Andreas
Gepubliceerd in 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volledige tekst
Toevoegen aan favorieten
Bewaard in:
2
Verification, Model Checking, and Abstract Interpretation
door Cook, Byron, Podelski, Andreas
Gepubliceerd in 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volledige tekst
Toevoegen aan favorieten
Bewaard in:
Zoekinstrumenten: Abonneren op RSS-datastromen — Zoekopdracht versturen