Sfoglia per Autore
Mostrati risultati da 1 a 2 di 2
Fulltext | Data | Tipo | Titolo | Autore (i) |
---|---|---|---|---|
2013-10-03 | Tesi di laurea Magistrale | Incremental reachability checking of KernelC programs using matching logic | RIZZI, ALESSANDRO MARIA | |
2017-02-07 | Tesi di Dottorato | A syntactic-semantic approach for incremental program verification of matching logic properties | RIZZI, ALESSANDRO MARIA |
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