polito.it
Politecnico di Torino (logo)
Webthesis
Biblioteche d'ateneo

Tesi di Lauretano, Matteo

Livello precedente
[feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Raggruppa per: Tipologia del documento | Nessun raggruppamento
Numero di pubblicazioni : 1.

[img] Matteo Lauretano. Validation of Automatically Synthesized Smart Contract Invariants: a validation framework for the FLAMES tool. Rel. Maurizio Morisio. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2025

Questa lista รจ stata generata il Thu Dec 4 21:15:32 2025 CET.