Heuristic-guided abstraction refinement /

Zapisane w:

Opis bibliograficzny
Kolejni autorzy:	Gu, Ming., He, Fei., Song, Xiaoyu., Sun, Jiaguang.
Format:	Artykuł
Język:	English
Hasła przedmiotowe:	Abstraction Heuristics Model checking Verification
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

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

Opis
Nie ma specyfikacji.

Podobne zapisy