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 : Wednesday, December 18, 2024-9:59:27 AM
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
221
View
0
Download