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

Showing results 1 to 1 of 1

1
JSTAR: JavaScript Specification Type Analyzer using Refinement

Park, Jihyeok; An, Seungmin; Shin, Wonho; Sim, Yusung; Ryu, Sukyoung, 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp.606 - 616, IEEE/ACM, 2021-11-17

Discover

rss_1.0 rss_2.0 atom_1.0