Wang C. Abstraction refinement for large scale model checking / C. Wang, G. D. Hachtel, F. Somenzi, 2006 r=on-line. - Текст : электронный.