서울대학교 중앙도서관
S-Space 소개
My S-Space
로그인이 필요합니다.
Login

S-Space

Browse

Subject

Jump to a point in the index
Or type in a year

  • Sort by
  • In order
  • Results/Page
  • Authors/record

Showing results 1 to 1 of 1

Issue DateTitle / Author(s) / CitationFileAltmetrics
2016-01
Lightweight verification of separate compilation

Kang, Jeehoon; Kim, Yoonseung; Hur, Chung-Kil; Dreyer, Derek; Vafeiadis, Viktor

ACM SIGPLAN Notices, Vol.51 No.1, pp.178-190

DOI
1