Наталья Шарыгина
Профессор информатики Университета Лугано (University of Lugano), Швейцария.
Курсы лекций
4Программный анализ и формальные методы верификации
2 лекции · Наталья Шарыгина
Computer Science семинар (Весна 2012)
Запись автора: Local proof transformations for flexible interpolation and proof reduction
8 лекций · Cesare Pautasso и ещё 6
Software Verification (2009)
2 лекции · Наталья Шарыгина
Software Verification (2010)
3 лекции · Наталья Шарыгина