Dmitrii Suvorov

Identifiers

• name variant Dmitrii Suvorov 0.50 · backfill

Papers (1)

1. Smart Contract Design Meets State Machine Synthesis: Case Studies cs.SE · 2019 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Vladimir Ulyantsev 1 shared papers