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.

On the Prediction of Smart Contracts' Behaviours

Cosimo Laneve, Claudio Sacerdoti Coen, Adele Veschetti. On the Prediction of Smart Contracts' Behaviours. In Maurice H. ter Beek, Alessandro Fantechi, Laura Semini, editors, From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. Volume 11865 of Lecture Notes in Computer Science, pages 397-415, Springer, 2019. [doi]

Abstract

Abstract is missing.

runs on