Résultat(s) 1 - 2 résultats de 2 pour la requête 'Strichman, Ofer', Temps de recherche: 0,03s Affiner les résultats
1
Decision Procedures
par Kroening, Daniel, Strichman, Ofer
Publié 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Accéder au texte intégral
Ajouter aux favoris
Enregistré dans:
2
Hardware and Software: Verification and Testing
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Accéder au texte intégral
Ajouter aux favoris
Enregistré dans:
Outils de recherche: S'abonner aux flux RSS — Envoyer cette recherche par courriel