Conference Papers
Year : 2017
Nicolas Peltier : Connect in order to contact the contributor
https://hal.science/hal-01562944
Submitted on : Monday, July 17, 2017-11:16:35 AM
Last modification on : Thursday, April 4, 2024-9:26:22 PM
Dates and versions
Identifiers
- HAL Id : hal-01562944 , version 1
Cite
Nicolas Peltier, Mnacho Echenim. The Binomial Pricing Model in Finance: A Formalization in Isabelle. CADE 26, 2017, Gothenburg, Sweden. pp.546-562. ⟨hal-01562944⟩
Collections
209
View
0
Download