GIACOBAZZI, Roberto
GIACOBAZZI, Roberto
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.006 secondi).
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Example-Guided Abstraction Simplification | 1-gen-2010 | Giacobazzi, Roberto; Ranzato, Francesco | |
| Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming | 1-gen-2010 | Delzanno, Giorgio; Giacobazzi, Roberto; Ranzato, Francesco |