Giancarlo Pellegrino
Giancarlo Pellegrino
Home
Open Positions
Group
Scienceware
Publications
Student Projects
Alessio Merlo
Latest
From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap
Cite
×