38 citations · 56 across the 4 of their papers we have counts for
1 paper · 2 filters
Filippo Contro, Marco Crosara, Mariano Ceccato +1
Motivated by the immutable nature of Ethereum smart contracts and of their transactions, quite many approaches have been proposed to detect defects and security problems before sma…