Tesi di laurea con relatore o correlatore Sacerdoti Coen, Claudio, discusse nel 2025

[su] Su di un livello
Esporta come [Atom feed] Atom [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Raggruppa per: Autore della tesi | Tipologia della tesi | Nessun raggruppamento
Vai a: A
Numero di documenti: 2.

A

Albertini, Mattia (2025) Type Checking in Rust per il kernel di Lean 4. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Ardito, Daniele Vito (2025) Discussione sull’integrazione di strumenti di verifica formale nella programmazione quotidiana. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Questa lista e' stata generata il Sat Feb 28 16:22:50 2026 CET.

© ALMA MATER STUDIORUM - Università di Bologna, 2007-2026.

^