VALENTINI, SIMONE
VALENTINI, SIMONE
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.001 secondi).
| Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
|---|---|---|---|---|---|
| Modeling and verification of smart contracts with Abstract State Machines | 2024 | Braghin, ChiaraRiccobene, ElviniaValentini, Simone | Book Part (author) | - | |
| A Modeling and Verification Framework for Ethereum Smart Contracts | 2024 | Valentini, SimoneBraghin, ChiaraRiccobene, Elvinia | Book Part (author) | - |