Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings by Markus Müller-Olm | Menrva Books | MenrvaBooks