author = { FMCO 9 2010 Graz Aichernig, Bernhard K. AND Boer, Frank S. de AND Bonsangue, Marcello M. },

title = { Formal methods for components and objects 9th international symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 ; revised papers },

publisher = {Springer},

isbn = {3642252702},

isbn = {9783642252709},

keywords = { Paperback / softback , Research , distributed systems , event-B , fault injection , model checking , software verification , Konferenzschrift 2010 Graz , Softwareentwicklung , Formale Methode , Objektorientierung , Komponente Software },

year = {2011},

abstract = {Literaturangaben},

booktitle = {Lecture Notes in Computer Science ; 6957 ; State-of-the-Art Survey},

booktitle = {State of the art survey},

address = { Berlin },

url = { http://slubdd.de/katalog?TN_libero_mab2 }