يعرض 1 - 1 نتائج من 1 نتيجة بحث عن '"Tafese, Joseph"', وقت الاستعلام: 0.77s تنقيح النتائج
  1. 1
    مؤتمر
    BTOR2MLIR: A Format and Toolchain for Hardware Verification

    المؤلفون: Tafese, Joseph, Garcia-Contreras, Isabel, Gurfinkel, Arie

    المصدر: 2023 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2023. :55-63 Oct, 2023

    Relation: 2023 Formal Methods in Computer-Aided Design (FMCAD)

    Full Text Finder
    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء