Showing results 1 to 1 of 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