author = { WS-FM 7 2010 Hoboken, NJ Bravetti, Mario AND Bultan, Tevfik },

title = { Web services and formal methods 7th international workshop, WS-FM 2010, Hoboken, NJ, USA, September 16 - 17, 2010 ; revised selected papers },

publisher = {Springer},

isbn = {3642195881},

isbn = {9783642195884},

keywords = { Web services Congresses , Konferenzschrift 2010 Hoboken, NJ , Web Services , Serviceorientierte Architektur , Formale Methode },

year = {2011},

abstract = {Literaturangaben},

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

address = { Berlin },

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