DSpace at KOASAS
Browsing DSpace

Browse "CS-Conference Papers(학술회의논문)" by Author Kim, Yoonseung

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 2 to 2 of 2

2
Lightweight verification of separate compilation

Kang, Jeehoon; Kim, Yoonseung; Hur, Chung-Kil; Dreyer, Derek; Vafeiadis, Viktor, 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, pp.178 - 190, ACM SIGPLAN and SIGACT, 2016-01-20

Discover

rss_1.0 rss_2.0 atom_1.0