2281	ATVA 2005 : 3rd International Symposium on Automated Technology for Verification and Analysis
마감일자	2005/05/23	국내/국외
홈페이지	http://www.im.ntu.edu.tw/~atva2005/	장 소
ATVA 2005 : 3rd International Symposium on Automated Technology for Verification and Analysis October 4-7, 2005 Taipei, Taiwan Important Dates: -23 May (Monday) 2005: papers submission -1 July (Friday) 2005: acceptance notification -22 July (Friday) 2005: camera-ready version -4 October (Tuesday) -- 7 October (Friday) 2005: ATVA 2005

사이트맵

연구문헌