닫기
사이트맵
-
연구문헌
-
교육정보
-
심화정보
-
컴퓨터iN
-
연구자료
-
알림마당
-
CSERIC 광장
-
서비스 바로가기
Please wait....
대회안내
홈 > 알림마당 > 대회안내| 2809 | VMCAI 2005 : 6th International Conference on Verification, Model Checking and Abstract Interpretatio
|
||
|---|---|---|---|
| 개최일자 | 2005/01/17-19 | 국내/국외 | |
| 홈페이지 | http://www.polytechnique.fr/vmcai05/ | 장 소 | |
VMCAI 2005 : 6th International Conference on Verification, Model Checking and Abstract Interpretation January 17?9, 2005 Paris, France |
|||
Copyright(c) Computer Science Engineering Research Information Center. All rights reserved.