author = { International Conference on Formal Engineering Methods 7 2005 Manchester Lau, Kung-Kiu AND Banach, Richard },

title = { Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 - 4, 2005 ; proceedings },

publisher = {Springer},

isbn = {3540297979},

isbn = {9783540297970},

keywords = { Formal methods (Computer science) Congresses , Software engineering Congresses , Konferenzschrift 2005 Manchester , Softwareentwicklung , Formale Methode , Softwarespezifikation , Verifikation , Programmanalyse , Model Checking , UML },

year = {2005},

abstract = {Literaturangaben},

booktitle = {Lecture notes in computer science ; 3785},

address = { Berlin },

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