BOCCHI, LAURA
BOCCHI, LAURA
DIPARTIMENTO DI MATEMATICA ED INFORMATICA
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.003 secondi).
Titolo | Data di pubblicazione | Autore(i) | Rivista | Editore |
---|---|---|---|---|
Progress-preserving refinements of CTA | 1-gen-2018 | Bartoletti, Massimo; Bocchi, Laura; Murgia, Maurizio | - | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing |