Treffer 1 - 2 von 2 für Suche 'Strichman, Ofer', Suchdauer: 0,16s Treffer weiter einschränken
1
Decision Procedures
von Kroening, Daniel, Strichman, Ofer
Veröffentlicht 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volltext
Zu den Favoriten
Gespeichert in:
2
Hardware and Software: Verification and Testing
von Strichman, Ofer, Tzoref-Brill, Rachel
Veröffentlicht 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volltext
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren — Diese Suche als E-Mail versenden