%0 Conference Paper %1 conf/kbse/ParkASSR21 %A Park, Jihyeok %A An, Seungmin %A Shin, Wonho %A Sim, Yusung %A Ryu, Sukyoung %B ASE %D 2021 %I IEEE %K dblp %P 606-616 %T JSTAR: JavaScript Specification Type Analyzer using Refinement. %U http://dblp.uni-trier.de/db/conf/kbse/ase2021.html#ParkASSR21 %@ 978-1-6654-0337-5

@inproceedings{conf/kbse/ParkASSR21, added-at = {2022-10-02T00:00:00.000+0200}, author = {Park, Jihyeok and An, Seungmin and Shin, Wonho and Sim, Yusung and Ryu, Sukyoung}, biburl = {https://www.bibsonomy.org/bibtex/2ca94230438756860556245ae961bed13/dblp}, booktitle = {ASE}, crossref = {conf/kbse/2021}, ee = {https://doi.org/10.1109/ASE51524.2021.9678781}, interhash = {8f370d0b55ca374f1581afafaa95bb87}, intrahash = {ca94230438756860556245ae961bed13}, isbn = {978-1-6654-0337-5}, keywords = {dblp}, pages = {606-616}, publisher = {IEEE}, timestamp = {2024-04-09T23:52:13.000+0200}, title = {JSTAR: JavaScript Specification Type Analyzer using Refinement.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2021.html#ParkASSR21}, year = 2021 }