The Binomial Pricing Model in Finance: A Formalization in Isabelle.

Mnacho Echenim, Nicolas Peltier

Browse the full CADE paper archive.