Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1909.08458
Cited By
Introduction to the Tezos Blockchain
18 September 2019
V. Allombert
Mathias Bourgoin
J. Tesson
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Introduction to the Tezos Blockchain"
1 / 1 papers shown
Title
Verified Low-Level Programming Embedded in F*
Jonathan Protzenko
J. Zinzindohoué
Aseem Rastogi
Tahina Ramananandro
Peng Wang
...
Antoine Delignat-Lavaud
Cătălin Hriţcu
K. Bhargavan
Cédric Fournet
Nikhil Swamy
36
155
0
28 Feb 2017
1
