Laursen, C. P., Foster, S., & Post, M. (2024). Brownian Motion in Isabelle/HOL.
Style de citation Chicago (17e éd.)Laursen, Christian Pardillo, Simon Foster, et Mark Post. Brownian Motion in Isabelle/HOL. 2024.
Style de citation MLA (9e éd.)Laursen, Christian Pardillo, et al. Brownian Motion in Isabelle/HOL. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.