Your search returned 2 results.

Results
	1.	Formal Methods for Open Object-Based Distributed Systems (vol. # 4037) [electronic resource] : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings / edited by Roberto Gorrieri, Heike Wehrheim. by International Conference on Formal Methods for Open Object-Based Distributed Systems (8th : 2006 : Bologna, Italy) Gorrieri, Roberto Wehrheim, Heike SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4037 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	2.	Foundations of security analysis and design V [electronic resource] : FOSAD 2007/2008/2009 tutorial lectures / edited by Alessandro Aldini, Gilles Barthe, Roberto Gorrieri. by Aldini, Alessandro Gorrieri, Roberto Barthe, Gilles SpringerLink (Online service) Series: Lecture notes in computer science ; 5705 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.

Refine your search