يعرض 1 - 2 نتائج من 2 نتيجة بحث عن '"Predicate abstraction."', وقت الاستعلام: 0.02s تنقيح النتائج
  1. 1

    Joining dataflow with predicates. حسب Fischer, Jeffrey

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

    Joining dataflow with predicates.
  2. 2

    Explaining abstract counterexamples. حسب Chaki, Sagar

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

    Explaining abstract counterexamples.

أدوات البحث: