GIACOBAZZI, Roberto
GIACOBAZZI, Roberto
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.0 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
14th International symposium on Verification, Model Checking and Abstract Interpretation | 1-gen-2013 | Giacobazzi, Roberto; J., Berdine; Mastroeni, Isabella |