Toon 1 - 2 resultaten van 2 Voor zoekopdracht 'Strichman, Ofer', zoektijd: 0,02s Verfijn jouw resultaten
1
Decision Procedures
door Kroening, Daniel, Strichman, Ofer
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
Hardware and Software: Verification and Testing
door Strichman, Ofer, Tzoref-Brill, Rachel
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