BibTeX记录日志/pacmpl/SantosMNWG18
@文章{DBLP:journals/pacmpl/SantosMNWG18， author={Jos{\'{e}}弗拉戈索·桑托斯和 彼得·马克西莫维奇和 Daiva Naudziuniene和 托马斯·伍德和 菲利普·加德纳}， title＝{JaVerT:JavaScript验证工具链}， 日志={Proc.{ACM}程序。 语言}， 体积={2}， 数字={{POPL}}， 页数={50:1--50:33}， 年份={2018年}， url={ https://doi.org/10.1145/3158138 }, doi={10.1145/3158138}， timestamp={2021年2月17日星期三08:53:56+0100}， 比布尔={ https://dblp.org/rec/journals/pacmpl/SantosMNWG18.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
