Your search returned 3 results.

Results
	1.	FM 2008: Formal Methods [electronic resource] : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings / edited by Jorge Cuellar, Tom Maibaum, Kaisa Sere. by Cuellar, Jorge [editor.] Maibaum, Tom [editor.] Sere, Kaisa [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5014 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Security and Trust Management [electronic resource] : 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers / edited by Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner. by Cuellar, Jorge [editor.] Lopez, Javier [editor.] Barthe, Gilles [editor.] Pretschner, Alexander [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6710 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Smart Grid Security [electronic resource] : First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers / edited by Jorge Cuellar. by Cuellar, Jorge [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7823 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)