Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2008.06a
  • /
  • Pages.72-73
  • /
  • 2008
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Java Memory Model Simulation using SMT solver

SMT 를 이용한 자바 메모리 모델 시뮬레이션

  • Lee, Tae-Hoon (Department of Computer Science, Kyonggi University) ;
  • Kwon, Gi-Hwon (Department of Computer Science, Kyonggi University)
  • 이태훈 (경기대학교 정보과학부) ;
  • 권기현 (경기대학교 정보과학부)
  • Published : 2008.06.30
Download PDF
⟨ Previous Next ⟩

Abstract

Keywords