Verbesserung statischer Analysen in praxisrelevanten Fällen by Arthur Teuber