يعرض 1 - 1 نتائج من 1 نتيجة بحث عن '"Aldeco-Perez, Recio"', وقت الاستعلام: 0.70s تنقيح النتائج
  1. 1
    مؤتمر
    On the Formal Verification of Smart Contracts

    المؤلفون: Davila, Rene, Aldeco-Perez, Recio, Barcenas, Everardo

    المصدر: 2023 11th International Conference in Software Engineering Research and Innovation (CONISOFT) CONISOFT Software Engineering Research and Innovation (CONISOFT), 2023 11th International Conference in. :18-24 Nov, 2023

    Relation: 2023 11th International Conference in Software Engineering Research and Innovation (CONISOFT)

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