author = { Misra, Jayadev AND Nipkow, Tobias AND Sekerinski, Emil },

title = { FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings },

publisher = {Springer Berlin Heidelberg},

isbn = {9783540372165},

keywords = { Logic design , Information Systems , Computer Science , System design Mathematics Congresses , Formal methods (Computer science) Congresses , Computer software Development Congresses , Computer science , Software engineering , Compilers (Computer programs). , Computer programming. , Machine theory. , Konferenzschrift 2006 Hamilton, Ontario , Formale Methode , Softwareentwicklung , Systementwicklung , Softwaretest , Programmanalyse , Programmverifikation , Model Checking , Software , Testen },

year = {2006},

abstract = {Literaturangaben},

abstract = {Lizenzpflichtig},

booktitle = {Lecture Notes in Computer Science ; 4085},

booktitle = {SpringerLink ; Bücher},

address = { Berlin, Heidelberg },

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