Trustable Remote Verification of Web Services
John Lyle
Book Title
TRUST
Editor
Liqun Chen and Chris J. Mitchell and Andrew Martin
ISBN
978−3−642−00586−2
Location
Oxford‚ UK
Month
April
Pages
153−168
Publisher
Springer
Series
Lecture Notes in Computer Science
Year
2009