DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation.

Marion Klein, Jens Knoop, Dirk Koschtzki, Bernhard Steffen

Browse the full TACAS paper archive.