Cody Born
Identifiers
- name variant Cody Born 0.50 · backfill
Papers (1)
- Formal Specification and Verification of Smart Contracts for Azure Blockchain cs.PL · 2018 · author #6
Mentions
No mention provenance yet.
Frequent Coauthors
- Immad Naseer 1 shared papers
- Isil Dillig 1 shared papers
- Rong Pan 1 shared papers
- Shuo Chen 1 shared papers
- Shuvendu K. Lahiri 1 shared papers
- Yuepeng Wang 1 shared papers