Лекция 1 | Программный анализ и формальные методы верификации | Наталья Шарыгина | Лекториум

Лекция 1 | Курс: Программный анализ и формальные методы верификации | Лектор: Наталья Шарыгина | Организатор: Computer Science клуб при ПОМИ РАН Смотрите это видео на Лекториуме: Другие лекции по курсу “Программный анализ и формальные методы верификации“ доступны для просмотра по ссылке: Подписывайтесь на канал: Следите за новостями: https://v