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"
