Ranzato, Francesco
Ranzato, Francesco
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.002 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Program Analysis is Harder than Verification: A Computability Perspective | 1-gen-2018 | Cousot, Patrick; Giacobazzi, Roberto; Ranzato, Francesco |