Soft Constraint Programming to Analysing Security Protocols. In: (2004)

by G Bella
Venue:Theory and Practice of Logic Programming