Rocco De Nicola
Web Services computer languages formal languages language implementation object process algebra program logics programming programming calculi programming language programming languages programming theory software security statist verification