JSTAR - JavaScript Specification Type Analyzer using Refinement.
JSTAR - JavaScript Specification Type Analyzer using Refinement.
Jihyeok Park, Seungmin An, Wonho Shin, Yusung Sim, Sukyoung Ryu
01 February 2021
Venue : ASE
External Link: https://doi.org/10.1109/ASE51524.2021.9678781