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

समान संसाधन