"TVAL+ : TVLA and Value Analyses Together."

Pietro Ferrara, Raphael Fuchs, Uri Juhasz (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics