"Static analysis for independent app developers."

Lucas Brutschy, Pietro Ferrara, Peter Müller (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics