공지사항

2016.04.27(수) 컴공세미나 – Prof. Kyungmin Bae (POSTECH)

2016-04-22
  • 2,957

●Title: Rewriting-Based Model Checking

●Speaker:  Prof. Kyungmin Bae (POSTECH)

●Time: April,27  2016(Wednesday) 4:00p.m.~


●Location: 2 Engineering Building No. 102


세미나

목록