author = { Probst, Christian W. },

title = { A demand-driven solver for constraint-based control flow analysis },

publisher = {},

keywords = { Objektorientierte Programmiersprache , Kontrollflussdiagramm , Formale Semantik , Korrektheit , Constraint-Programmierung , Graph , Hochschulschrift },

year = {2002},

address = { },

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