논문/저서/특허/연구과제 공개 선택 바로가기
소프트웨어대학 컴퓨터공학과 조장우 교수 홈페이지
“여러분의 홈페이지 방문을 환영합니다”
연구분야 Research Fields
  • • Semantics-based program analysis
    Semantics-based program analysis
  • • Static analysis
    Static analysis
  • • Software Validation
     Software Validation