PETTINAU, ROBERTO

PETTINAU, ROBERTO  

DIPARTIMENTO DI MATEMATICA ED INFORMATICA  

Mostra records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.004 secondi).
Titolo Data di pubblicazione Autore(i) Rivista Editore
Smart Contract Languages: a comparative analysis 1-gen-2025 Bartoletti, Massimo; Benetollo, Lorenzo; Bugliesi, Michele; Crafa, Silvia; Dal Sasso, Giacomo; Pettinau, Roberto; Pinna, Andrea; Piras, Mattia; Rossi, Sabina; Salis, Stefano; Spanò, Alvise; Tkachenko, Viacheslav; Tonelli, Roberto; Zunino, Roberto FUTURE GENERATION COMPUTER SYSTEMS -
Towards Benchmarking of Solidity Verification Tools 1-gen-2024 Bartoletti, M.; Fioravanti, F.; Matricardi, G.; Pettinau, R.; Sainas, F. - Schloss Dagstuhl – Leibniz-Zentrum für Informatik