Cousot R. Verification, model checking, and abstract interpretation / R. Cousot, 2005 r=on-line. - Текст : электронный.