Sfoglia per Relatore
Tipologia | Anno | Titolo | Titolo inglese | Autore | File |
---|---|---|---|---|---|
Lauree magistrali | 2023 | Verifying Kotlin Code with Viper by Controlling Aliasing | Verifying Kotlin Code with Viper by Controlling Aliasing | PROTOPAPA, FRANCESCO |
Legenda icone
- file ad accesso aperto
- file ad accesso riservato
- file sotto embargo
- nessun file disponibile