CARIONI, ALESSANDRO
CARIONI, ALESSANDRO
Universita' degli Studi di MILANO
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.0 secondi).
Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
---|---|---|---|---|---|
Automated termination in model checking modulo theories | 2011 | CARIONI, ALESSANDROS. Ghilardi + | Book Part (author) | - |