PETTINAU, ROBERTO
PETTINAU, ROBERTO
DIPARTIMENTO DI MATEMATICA ED INFORMATICA
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.001 secondi).
Smart Contract Languages: a comparative analysis
In corso di stampa 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
Towards Benchmarking of Solidity Verification Tools
2024-01-01 Bartoletti, M.; Fioravanti, F.; Matricardi, G.; Pettinau, R.; Sainas, F.
Titolo | Data di pubblicazione | Autore(i) | Rivista | Editore |
---|---|---|---|---|
Smart Contract Languages: a comparative analysis | In corso di stampa | 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 |