2 works on record
The modelling and analysis of security protocols
2001
Skin Tumors of the Dog and Cat