Heuristic-Guided Abstraction Refinement - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles The Computer Journal Year : 2009
No file

Dates and versions

inria-00547315 , version 1 (16-12-2010)

Identifiers

  • HAL Id : inria-00547315 , version 1

Cite

Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun. Heuristic-Guided Abstraction Refinement. The Computer Journal, 2009. ⟨inria-00547315⟩
118 View
0 Download

Share

Gmail Facebook X LinkedIn More