KAIST Abstract Interpretation Workshop '97

Nov. 10-15, 1997, KAIST/CS Rm1404


Patrick Cousot 교수가 지난 20년 연구결과의 모든것을 풀어놓은 일주일이었습니다.

프로그램 (.ps)

Cousot paper와 자료

비디오 테잎과 OHP 자료를 원하시는 분은 연락바랍니다.