Immad Naseer

Identifiers

• name variant Immad Naseer 0.50 · backfill

Papers (1)

1. Formal Specification and Verification of Smart Contracts for Azure Blockchain cs.PL · 2018 · author #7

Mentions

No mention provenance yet.

Frequent Coauthors

• Cody Born 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