BibTeX记录日志/corr/abs-2108-13783
@文章{DBLP:journals/corr/abs-2108-13783， author={山口正美和 松田和之 克里斯蒂娜·戴维和 孟旺}， title={Synbit:使用单向草图合成双向程序}， 日志={CoRR}， 体积={abs/2108.13783}， 年份={2021}， url={ https://arxiv.org/abs/20108.13783 }, eprinttype={arXiv}， eprint={2108.13783}， 时间戳={2021年9月3日星期五10:51:17+0200}， biburl={ https://dblp.org/rec/journals/corr/abs-2108-13783.bib }, bibsource={dblp计算机科学参考书目， 网址：https://dblp.org } }
