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.

Cost Analysis of Smart Contracts Via Parametric Resource Analysis

Víctor Pérez, Maximiliano Klemen, Pedro López-García 0001, José Francisco Morales, Manuel V. Hermenegildo. Cost Analysis of Smart Contracts Via Parametric Resource Analysis. In David Pichardie, Mihaela Sighireanu, editors, Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings. Volume 12389 of Lecture Notes in Computer Science, pages 7-31, Springer, 2020. [doi]

Authors

Víctor Pérez

This author has not been identified. Look up 'Víctor Pérez' in Google

Maximiliano Klemen

This author has not been identified. Look up 'Maximiliano Klemen' in Google

Pedro López-García 0001

This author has not been identified. Look up 'Pedro López-García 0001' in Google

José Francisco Morales

This author has not been identified. Look up 'José Francisco Morales' in Google

Manuel V. Hermenegildo

This author has not been identified. It may be one of the following persons: Look up 'Manuel V. Hermenegildo' in Google
runs on