External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Behavioral simulation for smart contracts

Sidi Mohamed Beillahi, Gabriela F. Ciocarlie, Michael Emmi, Constantin Enea. Behavioral simulation for smart contracts. In Alastair F. Donaldson, Emina Torlak, editors, Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020. pages 470-486, ACM, 2020. [doi]

Authors

Sidi Mohamed Beillahi

This author has not been identified. Look up 'Sidi Mohamed Beillahi' in Google

Gabriela F. Ciocarlie

This author has not been identified. Look up 'Gabriela F. Ciocarlie' in Google

Michael Emmi

This author has not been identified. Look up 'Michael Emmi' in Google

Constantin Enea

This author has not been identified. Look up 'Constantin Enea' in Google
runs on