Heuristic-guided abstraction refinement /

محفوظ في:

التفاصيل البيبلوغرافية
مؤلفون آخرون:	Gu, Ming., He, Fei., Song, Xiaoyu., Sun, Jiaguang.
التنسيق:	مقال
اللغة:	English
الموضوعات:	Abstraction Heuristics Model checking Verification
الوسوم:	إضافة وسم لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

مواد مشابهة