Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings / / edited by Markus Müller-Olm, Helmut Seidl. // Springer eBooks. URL: http://dx.doi.org/10.1007/978-3-319-10936-7