Don't run on fumes-Parametric gas bounds for smart contracts[J] JOURNAL OF SYSTEMS AND SOFTWARE 2021(176) Albert, Elvira Correas, Jesus Gordillo, Pablo Roman-Diez, Guillermo Rubio, Albert
