Research
Unlocking the potential of blockchain
… Paris-Saclay are currently working on. Bitcoin (2008) and Ethereum (2015) are the most well-known, while Zcash (2016), … 43-51. Zeinab Nehaï, François Bobot. Deductive Proof of Industrial Smart Contracts Using Why3. Formal Methods. FM … Mélanie Clément-Fontaine. Les smarts contracts et la propriété intellectuelle, dossier spécial La blokchain dans …Published on: