Заседание петербургского семинара по программной инженерии и верификации

20 октября в 18-00 в а. 121 9-го учебного корпуса состоится очередное заседание петербургского семинара по программной инженерии и верификации. В программе:

18:00 - 18:50. Ицыксон В.М. "Автоматизированная трансформация программ при миграции на новые библиотеки"

19:00 - 19:50. Глухих М.И. "Оценка надежности программного обеспечения на основе статического анализа исходного кода"