Giancarlo Pellegrino
Giancarlo Pellegrino
Home
Open Positions
Group
Scienceware
Publications
Student Projects
From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap
Alessandro Armando
,
Giancarlo Pellegrino
,
Roberto Carbone
,
Alessio Merlo
,
Davide Balzarotti
January 2012
PDF
Cite
DOI
Type
Conference paper
Publication
Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings
Cite
×