BibTeX记录日志/corr/abs-1807-09873
@文章{DBLP:journals/corr/abs-1807-09873， author={Mnacho Echenim和 Herv｛\'｛e｝｝Guiol和 尼古拉斯·佩尔蒂埃}， title={规范欧洲衍生品的Cox-Ross-Rubinstein定价 在Isabelle/HOL}， journal＝{CoRR}， 体积={abs/1807.09873}， 年份={2018年}， url={ http://arxiv.org/abs/1807.09873 }, eprinttype={arXiv}， eprint={1807.09873}， timestamp={2018年8月13日星期一16:46:00+0200}， biburl={ https://dblp.org/rec/journals/corr/abs-1807-09873.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
