A Metric-Based Approach to Modelling a Virtual Machine for Smart Contract Execution.

Spataru Alexe Luca, Ciprian Pungila

Browse the full SYNASC paper archive.