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