%0 Generic
%T A demand-driven solver for constraint-based control flow analysis
%A Probst, Christian W.
%K Objektorientierte Programmiersprache
%K Kontrollflussdiagramm
%K Formale Semantik
%K Korrektheit
%K Constraint-Programmierung
%K Graph
%K Hochschulschrift
%D 2002
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation