author = { International Conference on Formal Engineering Methods 12 2010 Schanghai Dong, Jin Song AND Zhu, Huibiao },

title = { Formal methods and software engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 ; proceedings },

publisher = {Springer},

isbn = {3642169007},

isbn = {9783642169007},

keywords = { Formal methods (Computer science) Congresses , Software engineering Congresses , Konferenzschrift 2010 Schanghai , Softwareentwicklung , Formale Methode , Entscheidungsverfahren , Programmverifikation , Programmanalyse , Softwaretest , Model Checking , Serviceorientierte Architektur , Web Services , Leistungsbewertung },

year = {2010},

abstract = {Literaturangaben},

booktitle = {Lecture Notes in Computer Science / Programming and Software Engineering ; 6447},

address = { Berlin },

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