1
Formal Methods for Open Object-Based Distributed Systems (vol. # 4037) [E-Book] / 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings
2
Foundations of Security Analysis and Design III [E-Book] / FOSAD 2004/2005 Tutorial Lectures
3
Foundations of Security Analysis and Design IV [E-Book] : FOSAD 2006/2007 Tutorial Lectures /
4
Foundations of Security Analysis and Design V [E-Book] : FOSAD 2007/2008/2009 Tutorial Lectures /
5
Foundations of Security Analysis and Design VI [E-Book] : FOSAD Tutorial Lectures /