• 전체
  • 전자/전기
  • 통신
  • 컴퓨터
닫기
Loading..

Please wait....

대회안내

홈 홈 > 알림마당 > 대회안내
VMCAI 2020 : International Conference on Verification, Model Checking, and Abstract Interpretation
개최일자 2020/01/19-21 국내/국외 국외
홈페이지 https://popl20.sigplan.org/home/VMCAI-2020 장 소 New Orleans, Louisiana, USA

VMCAI 2020 : 21st International Conference on Verification, Model Checking, and Abstract Interpretation

January 19-21, 2020

New Orleans, Louisiana, USA