Open Access System for Information Sharing

Login Library

Browsing by  AuthorLEE, JIA

전체
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 1 to 3 of 3
Conference

The 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019), 2019-01-18

Conference

36th IEEE/ACM International Conference on Automated Software Engineering, 2021-11-17

Conference

34th International Conference on Computer Aided Verification, CAV 2022, page. 524 - 537, 2022-08-08

1

Browse