Sciweavers

49
Voted
POPL
2010
ACM
15 years 6 months ago
Modular Verification of Security Protocol Code by Typing
Andrew D. Gordon, Cédric Fournet, Karthikey...