يعرض 1 - 1 نتائج من 1 نتيجة بحث عن 'Dykstra, Josiah', وقت الاستعلام: 0.01s تنقيح النتائج
  1. 1

    Software verification and validation with destiny a parallel approach to automated theorem proving. حسب Dykstra, Josiah

    الحاوية / القاعدة Crossroads : the ACM student magazine.
    مقال

    Software verification and validation with destiny a parallel approach to automated theorem proving.

أدوات البحث: