Conference
Armando, Alessandro; Pellegrino, Giancarlo; Carbone, Roberto; Merlo, Alessio; Balzarotti, Davide
From model-checking to automated testing of security protocols: Bridging the gap
TAP 2012, 6th International Conference on
Tests and Proofs, May 31-June 1, 2012, Prague, Czech Republic / Published also in LNCS, Volume 7305, 2012, Springer