ИСТИНА

• Охват: Международная
• Даты проведения: 12-14 ноября 2015
• Место проведения: Санкт-Петербург, Russia
• Организатор:
  СПбПУ, Россия
• Число участников: 200
• Число иностранных участников: 50
• Число участников из МГУ: 1
• Число докладчиков: 50
• Веб-сайт: http://tmpaconf.org/pasteventsmaterialsru/submission-ru/
• Все конференции этой группы
• Описание конференции:

  Третья международная научно­-практическая конференция Tools & Methods of Program Analysis нацелена на развитие индустрии разработки программного обеспечения и внедрение новейших разработок в области тестирования, анализа и верификации программ. На конференции были представлены приглашенные доклады признанных специалистов в области программной инженерии и конкурсные доклады, прошедшие рецензирование несколькими независимыми экспертами.

• Добавил в систему: Миронов Андрей Михайлович

Доклады:

• 2015 Верификация функциональных программ методом построения диаграмм состояний (Устный)
• Автор: Миронов А.М.