Mostra 1 - 2 risultati di 2 ricerca 'Strichman, Ofer', tempo di risposta: 0,16s Raffina i risultati
1
Decision Procedures
di Kroening, Daniel, Strichman, Ofer
Pubblicazione 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Testo
Aggiungi alla lista
Salvato in:
2
Hardware and Software: Verification and Testing
di Strichman, Ofer, Tzoref-Brill, Rachel
Pubblicazione 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Testo
Aggiungi alla lista
Salvato in:
Strumenti per la ricerca: Feed RSS — Invia questa ricerca per email