提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/cade/EchenimP17非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯TI-金融中的二项式定价模型：Isabelle中的形式化。BT-自动扣除-CADE 26-第26届自动扣除国际会议，瑞典哥德堡，2017年8月6日至11日，会议记录SP-546欧洲药典-5622017年上半年//DO-2007年10月10日/978-3-319-63046-5_33UR-（欧元）https://doi.org/10.1007/978-3-319-63046-5_33急诊室-