Static Analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings - Miné, Antoine; Schmidt, David (Springer Berlin Heidelberg : Imprint: Springer, 2012)