2092	VMCAI 2005 : 6th International Conference on Verification, Model Checking and Abstract Interpretatio
마감일자	2004/09/21	국내/국외
홈페이지	http://www.polytechnique.fr/vmcai05/	장 소
VMCAI 2005 : 6th International Conference on Verification, Model Checking and Abstract Interpretation January 17?9, 2005 Paris, France Important dates: -Deadline for submissions : September 21, 2004, 19:00 UTC/GMT -Notification of acceptance or rejection: October 24, 2004 -Deadline for reception of the final versions : November 10, 2004 -The conference : January 17?9, 2005

사이트맵

연구문헌