Heuristic-guided abstraction refinement /

Na minha lista:

Detalhes bibliográficos
Outros Autores:	Gu, Ming., He, Fei., Song, Xiaoyu., Sun, Jiaguang.
Formato:	Atigo
Idioma:	English
Assuntos:	Abstraction Heuristics Model checking Verification
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

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

Seja o primeiro a deixar um comentário!

Registros relacionados