Daniel Romero
Expected: January 15Thesis Info
'Formal Verification of Sites and Web Applications' 
Home Institution
Universidad Nacional de San Luis 
Roberto Uzal 
Roberto Uzal 
Host Institution
Universidad Politécnica de Valencia 
Maria Alpuente 
Maria Alpuente