BibTeX记录日志/corr/abs-2001-05059
@文章{DBLP:journals/corr/abs-2001-05059， author={Jos{\'{e}}弗拉戈索·桑托斯和 彼得·马克西莫维奇和 萨查{-}{\'{E}}是阿永和 菲利普·加德纳}， title={Gillian：所有人的合成符号执行}， 日志={CoRR}， 体积={abs/2001.05059}， 年份={2020年}， url={ https://arxiv.org/abs/2001.05059 }, eprinttype={arXiv}， eprint={2001.05059}， timestamp={星期六，2021年1月23日01:19:30+0100}， biburl={ https://dblp.org/rec/journals/corr/abs-2001-05059.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
