Sfoglia per Autore
Mostrati risultati da 1 a 2 di 2
Fulltext | Data | Tipo | Titolo | Autore (i) |
---|---|---|---|---|
2015-07-28 | Tesi di laurea Magistrale | Building deductive proofs of LTL properties for iteratively refined systems | BERNASCONI, ANNA | |
2021-02-04 | Tesi di Dottorato | Model, integrate, search... repeat: a sound approach to building integrated repositories of genomic data | Bernasconi, Anna |
Mostrati risultati da 1 a 2 di 2
Legenda icone accesso al fulltext
- File accessibili da tutti
- File accessibili dagli utenti autorizzati
- File accessibili da tutti o solo dagli utenti autorizzati, a partire dalla la data indicata nella scheda
- File non accessibili