Paul Crocker
Identifiers
- name variant Paul Crocker 0.60 · backfill
Papers (1)
- Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts cs.PL · 2020 · author #2
Mentions
- 2005.11839 #2 · arxiv_oai · confidence 0.70 Paul Crocker
Frequent Coauthors
- Jo\~ao Santos Reis 1 shared papers
- Sim\~ao Melo de Sousa 1 shared papers