Cost Analysis of Smart Contracts Via Parametric Resource Analysis.

Victor Perez-Carrasco, Maximiliano Klemen, Pedro Lpez-Garca, Jos Francisco Morales, Manuel V. Hermenegildo

Browse the full SAS paper archive.