%0 Generic
%T Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
%A Mohr, Martin
%A Snelting, Gregor
%I KIT-Bibliothek
%K data-flow analysis
%K program dependence graphs
%K slicing
%K information flow control
%K software security
%K program analysis
%K worklist algorithm
%K reachability
%D 2022
%C KIT-Bibliothek
%C Karlsruhe
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation