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

27 Октября 2011
45
 Версия для печати

28 октября в 18-00 состоится очередное заседание петербургского семинара по программной инженерии и верификации

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

18:00 - 18:50. Моисеев М.Ю., Захаров А.В. "Static Analysis Method for Deadlock Detection in SystemC Designs"

19:00 - 19:50. Антон Банных "The Coq proof assistant"