Cody Born

Identifiers

• name variant Cody Born 0.50 · backfill

Papers (1)

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