공지사항
2016.04.27(수) 컴공세미나 – Prof. Kyungmin Bae (POSTECH)
2016-04-22
●Title: Rewriting-Based Model Checking
●Speaker: Prof. Kyungmin Bae (POSTECH)
●Time: April,27 2016(Wednesday) 4:00p.m.~
●Location: 2 Engineering Building No. 102
●Title: Rewriting-Based Model Checking
●Speaker: Prof. Kyungmin Bae (POSTECH)
●Time: April,27 2016(Wednesday) 4:00p.m.~
●Location: 2 Engineering Building No. 102