PETTINAU, ROBERTO
PETTINAU, ROBERTO
DIPARTIMENTO DI MATEMATICA ED INFORMATICA
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.001 secondi).
Titolo | Data di pubblicazione | Autore(i) | Rivista | Editore |
---|---|---|---|---|
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 |