Наталья Шарыгина Профессор информатики Университета Лугано (University of Lugano), Швейцария. Персональная страница Источник фото и информации Курсы Software Verification (2009) Computer Science клуб при ПОМИ РАН Наталья Шарыгина Курс (2) 1457 Программный анализ и формальные методы верификации Computer Science клуб при ПОМИ РАН Наталья Шарыгина Курс (2) 2069 Software Verification (2010) Computer Science клуб при ПОМИ РАН Наталья Шарыгина Курс (3)Хит 25135 Computer Science семинар (Весна 2012) Computer Science клуб при ПОМИ РАН Kokichi Futatsugi, Наталья Васильева, Сергей Якунин, Алексей Колесов, Андрей Морозов, Cesare Pautasso, Наталья Шарыгина Конференция (8)Хит 13293 Лекции Программный анализ и формальные методы верификации. Лекция 2 Computer Science клуб при ПОМИ РАН Наталья Шарыгина 684 Программный анализ и формальные методы верификации. Лекция 1 Computer Science клуб при ПОМИ РАН Наталья Шарыгина 1103 Local proof transformations for flexible interpolation and proof reduction Computer Science клуб при ПОМИ РАН Наталья Шарыгина 1797 Software Verification (2010). Лекция 1 Computer Science клуб при ПОМИ РАН Наталья Шарыгина Хит 9390 Software Verification (2010). Лекция 2 Computer Science клуб при ПОМИ РАН Наталья Шарыгина 2317 Software Verification (2010). Лекция 3 Computer Science клуб при ПОМИ РАН Наталья Шарыгина 2164 Software Verification (2009). Lecture 2 Computer Science клуб при ПОМИ РАН Наталья Шарыгина 1638 Software Verification (2009). Lecture 1 Computer Science клуб при ПОМИ РАН Наталья Шарыгина Хит 10902