Giancarlo Pellegrino
Giancarlo Pellegrino
Research
Research group
Publications
Scienceware
Funded Projects
Open Positions
Internships/Assistants/Theses
Teaching
Alessio Merlo
Latest
From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap
Cite
×