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