author = { VMCAI 5 2004 Venedig Steffen, Bernhard },

title = { Verification, model checking, and abstract interpretation 5th international conference, Venice, January 11 - 13, 2004 ; proceedings },

publisher = {Springer},

isbn = {3540208038},

keywords = { Computer programs Verification Congresses , Konferenzschrift 2004 Venedig , Programmanalyse , Programmverifikation , Model Checking , Abstrakte Interpretation , Formale Methode },

year = {2004},

abstract = {Literaturangaben},

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

address = { Berlin },

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