"Precision vs. scalability: Context sensitive analysis with prefix ..."

Raveendra Kumar Medicherla, Raghavan Komondoor (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics