Automata-based Static Analysis of XML Document Adaptations

Data dell'evento: 
Wednesday, 19 June, 2013 - 14:00
Luogo: 
DIAG - Via Ariosto 25, Aula Magna
Speaker: 
Alessandro Solimando (Univeristà di Genova)
Abstract
Contatto: 
savo@dis.uniroma1.it