http://tadviser.ru/a/54473
ИСП РАН и «Солар» расширяют сотрудничество в области безопасной разработки ПО