Mnacho Echenim公司 埃尔维吉他 尼古拉斯·佩尔蒂埃 在Isabelle/HOL中正式确定欧洲衍生品的Cox-Ross-Rubinstein定价。 737-765 2020 64 J.汽车。原因。 4 https://doi.org/10.1007/s10817-019-09528-w db/journals/jar/jar64.html#EchenimGP20