BibTeX记录日志/corr/abs-1808-01520
@文章{DBLP:journals/corr/abs-1808-01520， author={Agust{\'{\i}}n Mista和 亚历杭德罗·拉索和 约翰·休斯}， title={QuickCheck生成器的分支过程}， journal＝{CoRR}， 体积={abs/1808.01520}， 年份={2018年}， 网址={ http://arxiv.org/abs/11808.01520 }, eprinttype={arXiv}， eprint={1808.01520}， 时间戳={2022年3月8日星期二10:14:57+0100}， biburl={ https://dblp.org/rec/journals/corr/abs-1808-01520.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
