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
Salta a: Tesi
Numero di pubblicazioni : 1.

Tesi

[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 Tue Jan 20 21:12:12 2026 CET.