MARCHESIN, RICCARDO
MARCHESIN, RICCARDO
DIPARTIMENTO DI MATEMATICA ED INFORMATICA
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.003 secondi).
| Titolo | Data di pubblicazione | Autore(i) | Rivista | Editore |
|---|---|---|---|---|
| A formal framework for the economic security of DeFi compositions | 1-gen-2027 | Bartoletti, M.; Marchesin, R.; Zunino, R. | THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | - |