The Binomial Pricing Model in Finance: A Formalization in Isabelle - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

The Binomial Pricing Model in Finance: A Formalization in Isabelle

Fichier non déposé

Dates et versions

hal-01562944 , version 1 (17-07-2017)

Identifiants

  • HAL Id : hal-01562944 , version 1

Citer

Nicolas Peltier, Mnacho Echenim. The Binomial Pricing Model in Finance: A Formalization in Isabelle. CADE 26, 2017, Gothenburg, Sweden. pp.546-562. ⟨hal-01562944⟩
198 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More