Registered user since Sun 23 Aug 2020
Name:Seungmin An
Affiliation:KAIST
Contributions
| ASE 2021 | Artifact for "JSTAR: JavaScript Specification Type Analyzer using Refinement" JSTAR: JavaScript Specification Type Analyzer using Refinement | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ASE 2021-profile
View general profile
View general profile