author = { VMCAI 6 2005 Paris Cousot, Radhia },

title = { Verification, model checking, and abstract interpretation 6th international conference, VMCAI 2005, Paris, France, January 17 - 19, 2005 ; proceedings },

publisher = {Springer},

isbn = {354024297X},

keywords = { Computer programs Verification Congresses , Konferenzschrift 2005 Paris , Programmanalyse , Programmverifikation , Model Checking , Abstrakte Interpretation },

year = {2005},

abstract = {Literaturangaben},

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

address = { Berlin },

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