5 works on record
Formal Techniques for Distributed Systems
Trustworthy Global Computing 6th International Symposium Revised Selected Papers
Trustworthy Global Computing
Models of Computation
Web Services and Formal Methods
