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 Nov 13 20:40:47 2025 CET.