Heuristic-guided abstraction refinement /

Bewaard in:

Bibliografische gegevens
Andere auteurs:	Gu, Ming., He, Fei., Song, Xiaoyu., Sun, Jiaguang.
Formaat:	Artikel
Taal:	English
Onderwerpen:	Abstraction Heuristics Model checking Verification
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

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

Wees de eerste die reageert!

Gelijkaardige items