author = { Artho, Cyrille AND Biere, Armin },

title = { Combined Static and Dynamic Analysis },

publisher = {ETH, Department of Computer Science},

keywords = { JAVA (PROGRAMMING LANGUAGES) , computer science , VERIFICATION (SOFTWARE ENGINEERING) , JAVA (PROGRAMMIERSPRACHEN) , VERIFIKATION (SOFTWARE ENGINEERING) , COMPUTING TIME + RUNNING TIME (COMPUTER SYSTEMS) , Data processing , RECHENZEIT + LAUFZEIT (COMPUTERSYSTEME) },

year = {2005},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

booktitle = {Technical report, 466},

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