机构作者
Galati, Luca
文献数量：1
Oliveto, Rocco
文献数量：1
Pareschi, Remo
文献数量：2
Piantadosi, Valentina
文献数量：1
Placella, Davide
文献数量：1
Rosa, Giovanni
文献数量：1
Scalabrino, Simone
文献数量：1
机构文献
Detecting functional and security-related issues in smart contracts: A systematic literature review[J]
SOFTWARE-PRACTICE & EXPERIENCE
Blockchain and cryptocurrencies: A classification and comparison of architecture drivers[J]
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE
A formal model for ledger management systems based on contracts and temporal logic[J]
BLOCKCHAIN-RESEARCH AND APPLICATIONS