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

    Using symbolic execution for verifying safety-critical systems. حسب Coen-Porisini, Alberto

    الحاوية / القاعدة Software engineering notes.
    مقال

    Using symbolic execution for verifying safety-critical systems.

أدوات البحث: