19th Workshop on Functional and (Constraint) Logic Programming
January 17th, 2010, Madrid, Spain — Co-located with
POPL 2010
Alexei Lescaylle Daudinot — Automated verification of security protocols in tccp