author_1xx_7xx_search:"[International School on Formal Methods for the Design of Computer, Communication, and Software Systems (13th : 2013 : Bertinoro, Italy)]"
Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.