Trustworthy Global Computing 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers Bruni Roberto Heftet / 2012 / Engelsk
Formal Techniques for Distributed Systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings Bruni Roberto Heftet / 2011 / Engelsk
Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings Bruni Roberto Heftet / 2009 / Engelsk
Trustworthy Global Computing Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers Montanari Ugo Heftet / 2007 / Engelsk
