글번호
5252119
일 자
16.04.22
조회수
315
글쓴이
학과사무실
제목 : 2016.04.27(수) 컴공세미나 - Prof. Kyungmin Bae (POSTECH)


●Title: Rewriting-Based Model Checking


●Speaker:  Prof. Kyungmin Bae (POSTECH)


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


●Location: 2 Engineering Building No. 102


세미나

첨부파일 첨부파일:
첨부파일이 없습니다.
목록으로
다음글 제 5회 TOPCIT 정기평가
이전글 [마이다스아이티] 2016 소프트웨어 개발 경진대회